Skip to content

Commit

Permalink
Add JULIA_PKG_SERVER to Environment Variables in docs (JuliaLang#39603
Browse files Browse the repository at this point in the history
)
  • Loading branch information
NHDaly authored and ElOceanografo committed May 4, 2021
1 parent dd36b8b commit 3413206
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion doc/src/manual/environment-variables.md
Original file line number Diff line number Diff line change
Expand Up @@ -156,6 +156,15 @@ The absolute path `REPL.find_hist_file()` of the REPL's history file. If
$(DEPOT_PATH[1])/logs/repl_history.jl
```

### `JULIA_PKG_SERVER`

Used by `Pkg.jl`, for downloading packages and updating the registry. By default, `Pkg` uses `https://pkg.julialang.org` to
fetch Julia packages. You can use this environment variable to select a different server. In addition, you can disable the use of the
PkgServer protocol, and instead access the packages directly from their hosts (GitHub, GitLab, etc.) by setting:
```
export JULIA_PKG_SERVER=""
```

## External applications

### `JULIA_SHELL`
Expand Down Expand Up @@ -340,4 +349,3 @@ On debug builds of Julia this is always enabled. Recommended to use with `-g 2`.

Arguments to be passed to the LLVM backend.


0 comments on commit 3413206

Please sign in to comment.