переместить пакеты в другой каталог Julia 0.7

Question

Я бы хотел переместить пакеты ~ / .julia / в каталог установки julia.Что еще я должен двигаться?Какие переменные env я должен установить?

JULIA_PKGDIR?JULIA_DEPOT_PATH?JULIA_LOAD_PATH?

push! (DEPOT_PATH, "newdirname") создали реестры и скомпилированные каталоги.но все новые добавленные пакеты не устанавливаются в каталог "newdirname".

export JULIA_DEPOT_PATH = "newdirname" удаляет пакеты ~ / .julia / и заменяет новый.пакеты начали устанавливаться в новый каталог.Теперь, когда я перевожу всю установку с пакетами на другую машину без интернета, Джулия заставляет меня перестраивать пакеты, а затем происходит сбой из-за отсутствия соединения.так, что заставило бы этот шаг работать?

Answer 1

Вы можете добавить новый путь, поместив оператор

push!(DEPOT_PATH, "newdirname")

в startup.jl.

ВНИМАНИЕ: Большая часть установленного кода в каталогах .julia будет иметь текст, созданный при установке, содержащий пути к вашим старым каталогам!Я ожидаю, что много установленных модулей нарушат их установленное состояние при перемещении.Добавление через push!DEPOT_PATH предназначен для добавления дополнительных мест для загрузки файлов, НЕ для перемещения существующих установок!