-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When setting
JULIA_DEPOT_PATH
to /path:
, omit the default user de…
…pot (#51448) This commit slightly changes how the `DEPOT_PATH` works when overriden using the env var `JULIA_DEPOT_PATH`, now omitting the default user depot when specifying a path. Before: ``` ❯ JULIA_DEPOT_PATH=/foo: \ julia-1.10 -e 'display(DEPOT_PATH)' 4-element Vector{String}: "/foo" "/home/tim/.julia" "/path/to/julia/local/share/julia" "/path/to/julia/share/julia" ``` After: ``` ❯ JULIA_DEPOT_PATH=/foo: \ julia-pr -e 'display(DEPOT_PATH)' 3-element Vector{String}: "/foo" "/path/to/julia/local/share/julia" "/path/to/julia/share/julia" ``` This makes it possibly to create a new isolated depot by simply setting `JULIA_DEPOT_PATH` to `/path:`, while still being able to load resources that are bundled with Julia. For a full discussion, see the PR.
- Loading branch information
Showing
4 changed files
with
49 additions
and
26 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters