Downloading a project dependency:
myProject/main> pull @unison/base/releases/X.Y.Z lib.base
Pulling a public namespace:
.> pull unison.public.base.latest lib.base
Using git urls:
.> pull git(git@github.com:unisonweb/base).latest .base
.> pull git(https://github.com/org/repo:some-branch).some.path
Thepull
command is used to pull definitions from another codebase into the current codebase. Commonly used to download Unison dependencies.
You can pull Unison code from unison's own code-hosting platform,unison shareor from a git repo using thegit url format.
The first argument topullis any Git URL that identifies the namespace to pull from and the second argument (if given) identifies a namespace that the remote codebase will be merged into. If a second argument is not supplied, then the remote codebase will be merged into the current namespace.
To optionally pull from a Git branch, the repository name is followed by:
and the name of the branch.