unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

Port fuzzy-option.md to projects

Browse Source
This commit is contained in:
Chris Penner 2024-06-26 11:20:19 -07:00
parent bcb3e46218
commit 6625996039
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
unison-src/transcripts/fuzzy-options.md
View File

@ -12,7 +12,7 @@ If a fuzzy resolver doesn't have any options available it should print a message
opening an empty fuzzy-select. opening an empty fuzzy-select.
```ucm:error ```ucm:error
scratch/main empty> view scratch/empty> view
``` ```

9
unison-src/transcripts/fuzzy-options.output.md
View File

@ -14,9 +14,7 @@ If a fuzzy resolver doesn't have any options available it should print a message
opening an empty fuzzy-select. opening an empty fuzzy-select.
```ucm ```ucm
☝️ The namespace .empty is empty. scratch/empty> view
scratch/main empty> view
⚠️ ⚠️
@ -35,7 +33,7 @@ Definition args
scratch/main> add scratch/main> add
⍟ I've added these definitions: ⍟ I've added these definitions:
nested.optionTwo : ##Nat nested.optionTwo : ##Nat
optionOne : ##Nat optionOne : ##Nat
@ -66,7 +64,7 @@ Project Branch args
myproject/main> branch mybranch myproject/main> branch mybranch
Done. I've created the mybranch branch based off of main. Done. I've created the mybranch branch based off of main.
Tip: To merge your work back into the main branch, first Tip: To merge your work back into the main branch, first
`switch /main` then `merge /mybranch`. `switch /main` then `merge /mybranch`.
@ -75,6 +73,7 @@ scratch/main> debug.fuzzy-options switch _
Select a project or branch to switch to: Select a project or branch to switch to:
* myproject/main * myproject/main
* myproject/mybranch * myproject/mybranch
* scratch/empty
* scratch/main * scratch/main
* myproject * myproject
* scratch * scratch