You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A command to check whether a newer version of a given package is available, and install it if necessary.
We should probably also have UpdateAllPackages to do this for everything in the user pkg directory.
To start with, this should probably only affect packages installed by archive, but later on we could even have it run git pull or hg pull -u in repositories that have no local changes.
The text was updated successfully, but these errors were encountered:
A command to check whether a newer version of a given package is available, and install it if necessary.
We should probably also have
UpdateAllPackages
to do this for everything in the userpkg
directory.To start with, this should probably only affect packages installed by archive, but later on we could even have it run
git pull
orhg pull -u
in repositories that have no local changes.The text was updated successfully, but these errors were encountered: