Scenario: I have a package, say Widgets
, which exists in a public Github repository (but not in the Julia package repo) at github.com/maxkapur/Widgets.
I have also git clone
d Widgets to my home folder for development purposes.
Normally, if I want to play in the REPL with one of the functions in Widgets, I open a terminal in ~/Widgets
and run julia --project
.
Now, however, I would like to use the Widgets package in my “main” Julia environment. That is, the one I get when I run julia
from a terminal without the project flag. (What is the proper name for this environment?)
In other words, I want to add Widgets to my main Julia project.
From looking at the docs, it seems like there are six ways to do this: run julia
, then enter at the REPL
add ~/Widgets
add github.com/maxkapur/Widgets
develop ~/Widgets
develop github.com/maxkapur/Widgets
develop --local ~/Widgets
develop --local github.com/maxkapur/Widgets
Which one should I use? I am interested in the following issues:
- If I update the package on Github, will my local environment automatically update?
- If I update the package on Github, will I be able to update my local environment using
]update
? - If I update the package on Github and then pull changes to
~/Widgets
, will my local environment automatically update? - If I update the package on Github and then pull changes to
~/Widgets
, will I be able to update my local environment using]update
?
(I am typing this on my phone in a subway; please pardon any syntactical errors.)