Юлия: Как установить пакет Dev путь? - PullRequest
4 голосов
/ 12 октября 2019

Я часто ]dev Pkg, но я хочу, чтобы упакованный ved dev хранился где-то, кроме места по умолчанию для удобного доступа.

Я не хочу менять путь к ]add Pkg,Кажется, это контролируется параметром среды DEPOT_PATH.

Есть ли способ изменить только путь для dev Pkg, т. Е. Путь, в котором хранится пакет dev?

Ответы [ 2 ]

5 голосов
/ 12 октября 2019

Вы можете установить переменную среды JULIA_PKG_DEVDIR, чтобы изменить место установки пакетов разработки. См. Develop Docs для получения дополнительной информации.

Как отметил @crstnbr, альтернативой является использование опции --local команды pkg> dev для установки версии разработки пакета вкаталог dev в текущем проекте. Это может иметь смысл, если вы разрабатываете свой собственный пакет MyCode.jl, который опирается на Example.jl, и вам нужно сделать исправление для Example.jl. Тогда ваша команда Pkg REPL будет выглядеть следующим образом:

(MyCode) pkg> dev --local Example

Если вы хотите внести изменения в сторонний пакет и отправить эти изменения как запрос на извлечение на Github, есть еще несколько шагов впроцесс. См. эту ветку Дискурса для более подробной информации об этом процессе.

4 голосов
/ 12 октября 2019

Не совсем то, что вы просите, но вы, конечно, всегда можете git clone посылку по вашему выбору, а затем dev path/to/the/local/clone/of/the/pkg.

Вы даже можете сделать это изнутри Юлии:

using Pkg
Pkg.GitTools.clone("<pkg url>", "<local path>")
Pkg.develop(PackageSpec(path="<local path>"))
...