【问题标题】:Julia: How to set the package Dev path?Julia:如何设置包开发路径?
【发布时间】:2019-10-12 01:03:31
【问题描述】:

我经常]dev Pkg,但我希望将打包的devved 存储在默认位置以外的其他位置以便于访问。

我不想更改]add Pkg 的路径。这似乎是由环境参数DEPOT_PATH控制的。

有没有办法只更改dev Pkg 的路径,即dev 包所在的路径?

【问题讨论】:

    标签: julia


    【解决方案1】:

    您可以设置环境变量JULIA_PKG_DEVDIR 来更改开发包的安装位置。请参阅develop docs 了解更多信息。

    正如@crstnbr 所述,另一种方法是使用pkg> dev 命令的--local 选项在当前项目的dev 目录中安装包的开发版本。如果您正在开发自己的依赖于Example.jl 的包MyCode.jl 并且您需要对Example.jl 进行热修复,这可能是有意义的。然后您的 Pkg REPL 命令将如下所示:

    (MyCode) pkg> dev --local Example
    

    如果您想对第三方包进行更改并将这些更改作为拉取请求提交到 Github,则在此过程中还有几个步骤。有关该过程的更多详细信息,请参阅this Discourse thread。

    【讨论】:

    • 也许你还应该提到--local 选项,它将包存储在当前项目目录的 dev 文件夹中。
    【解决方案2】:

    不完全符合您的要求,但您当然可以始终将包git clone 转到您选择的路径,然后dev path/to/the/local/clone/of/the/pkg。

    您甚至可以在 julia 内部执行此操作:

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

    【讨论】:

      猜你喜欢
      • 2014-06-01
      • 2014-03-03
      • 2022-01-16
      • 1970-01-01
      • 2014-01-31
      • 2011-01-27
      • 2011-09-24
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多