Closed
Description
JULIA_HOME
is a bit confusingly named since it's home from the perspective of the julia
program, not the home of julia-related files from the user's perspective. We should always talk about user-facing matters from the user's perspective, so I propose that we rename JULIA_HOME
to JULIA_BIN_DIR
. Ultimately, it would be nice for JULIA_HOME
to be the user's Julia directory, (i.e. currently JULIA_PKGDIR
but including rc files and such) but we may need a different name for backwards compatibility, like JULIA_USER_HOME
.