unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/switch-command.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings 
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.
2024-07-10 13:56:07 -06:00

2.0 KiB
Raw Permalink Blame History

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.