mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-17 13:27:30 +03:00
0031542faf
This is for consistency with the `cmark` style. Now the blocks we still pretty-print ourselves will match the bulk of them that `cmark` produces.
2.0 KiB
2.0 KiB
The switch
command switches to an existing project or branch.
Setup stuff.
someterm = 18
Loading changes detected in scratch.u.
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
someterm : Nat
foo/main> add
⍟ I've added these definitions:
someterm : Nat
foo/main> branch bar
Done. I've created the bar branch based off of main.
Tip: To merge your work back into the main branch, first
`switch /main` then `merge /bar`.
foo/main> branch topic
Done. I've created the topic branch based off of main.
Tip: To merge your work back into the main branch, first
`switch /main` then `merge /topic`.
Now, the demo. When unambiguous, switch
switches to either a project or a branch in the current project. A branch in
the current project can be preceded by a forward slash (which makes it unambiguous). A project can be followed by a
forward slash (which makes it unambiguous).
scratch/main> switch foo
scratch/main> switch foo/topic
foo/main> switch topic
foo/main> switch /topic
foo/main> switch bar/
It's an error to try to switch to something ambiguous.
foo/main> switch bar
I'm not sure if you wanted to switch to the branch foo/bar or
the project bar. Could you be more specific?
1. /bar (the branch bar in the current project)
2. bar/ (the project bar, with the branch left unspecified)
Tip: use `switch 1` or `switch 2` to pick one of these.
It's an error to try to switch to something that doesn't exist, of course.
scratch/main> switch foo/no-such-branch
foo/no-such-branch does not exist.
scratch/main> switch no-such-project
Neither project no-such-project nor branch /no-such-project
exists.
foo/main> switch no-such-project-or-branch
Neither project no-such-project-or-branch nor branch
/no-such-project-or-branch exists.