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 cloned 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 ~/Widgetsadd github.com/maxkapur/Widgetsdevelop ~/Widgetsdevelop github.com/maxkapur/Widgetsdevelop --local ~/Widgetsdevelop --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.)