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

Update paths in branch-relative-path.md

Browse Source
This commit is contained in:
Chris Penner 2024-07-01 14:31:01 -07:00
parent 724dea4f19
commit d93b5dee4f
2 changed files with 32 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
unison-src/transcripts/branch-relative-path.md
View File

@ -1,9 +1,3 @@
```ucm:hide
scratch/main> builtins.merge
scratch/main> project.create-empty p0
scratch/main> project.create-empty p1
```
```unison
foo = 5
foo.bar = 1
@ -20,11 +14,11 @@ donk.bonk = 1
```ucm
p1/main> add
p1/main> fork p0/main: zzz
p1/main> fork p0/main:. zzz
p1/main> find zzz
p1/main> fork p0/main:foo yyy
p1/main> fork p0/main:.foo yyy
p1/main> find yyy
p0/main> fork p1/main: p0/main:p1
p0/main> fork p1/main:. p0/main:.p1
p0/main> ls p1
p0/main> ls p1.zzz
p0/main> ls p1.yyy

47
unison-src/transcripts/branch-relative-path.output.md
View File

@ -55,7 +55,7 @@ p1/main> add
bonk : ##Nat
donk.bonk : ##Nat
p1/main> fork p0/main: zzz
p1/main> fork p0/main:. zzz
Done.
@ -65,22 +65,33 @@ p1/main> find zzz
2. zzz.foo.bar : ##Nat
p1/main> fork p0/main:foo yyy
p1/main> fork p0/main:.foo yyy
Done.
p1/main> find yyy
1. yyy.bar : ##Nat
p0/main> fork p1/main:. p0/main:.p1
Done.
p0/main> ls p1
1. bonk (##Nat)
2. donk/ (1 term)
3. yyy/ (1 term)
4. zzz/ (2 terms)
p0/main> ls p1.zzz
1. foo (##Nat)
2. foo/ (1 term)
p0/main> ls p1.yyy
1. bar (##Nat)
```
```ucm
p1/main> addp1/main> fork p0/main: zzzp1/main> find zzzp1/main> fork p0/main:foo yyyp1/main> find yyyp0/main> fork p1/main: p0/main:p1p0/main> ls p1p0/main> ls p1.zzzp0/main> ls p1.yyy
```
🛑
The transcript failed due to an error in the stanza above. The error is:
<none>:1:9:
|
1 | p0/main:foo
| ^
Expected an absolute path but found a relative path. Try adding a leading '.' to your path