mirror of
https://github.com/unisonweb/unison.git
synced 2024-11-04 01:03:36 +03:00
Copy transcripts from the other empty namespace branch
This commit is contained in:
parent
138799f92d
commit
0a625f3810
36
unison-src/transcripts/empty-namespaces.md
Normal file
36
unison-src/transcripts/empty-namespaces.md
Normal file
@ -0,0 +1,36 @@
|
||||
# Empty namespace behaviours
|
||||
|
||||
```unison:hide
|
||||
mynamespace.x = 1
|
||||
```
|
||||
|
||||
```ucm:hide
|
||||
.> add
|
||||
.> delete.namespace mynamespace
|
||||
```
|
||||
|
||||
The deleted namespace shouldn't appear in `ls` output.
|
||||
```ucm:error
|
||||
.> ls
|
||||
```
|
||||
```ucm:error
|
||||
.> ls.verbose
|
||||
```
|
||||
```ucm:error
|
||||
.> find mynamespace
|
||||
```
|
||||
|
||||
|
||||
The history of the namespace should still exist if requested explicitly.
|
||||
|
||||
```ucm
|
||||
.> history mynamespace
|
||||
```
|
||||
|
||||
Merging an empty namespace should still copy its history if it has some.
|
||||
|
||||
```ucm
|
||||
.empty> history
|
||||
.empty> merge .mynamespace
|
||||
.empty> history
|
||||
```
|
75
unison-src/transcripts/empty-namespaces.output.md
Normal file
75
unison-src/transcripts/empty-namespaces.output.md
Normal file
@ -0,0 +1,75 @@
|
||||
# Empty namespace behaviours
|
||||
|
||||
```unison
|
||||
mynamespace.x = 1
|
||||
```
|
||||
|
||||
The deleted namespace shouldn't appear in `ls` output.
|
||||
```ucm
|
||||
.> ls
|
||||
|
||||
nothing to show
|
||||
|
||||
```
|
||||
```ucm
|
||||
.> ls.verbose
|
||||
|
||||
😶
|
||||
|
||||
No results. Check your spelling, or try using tab completion
|
||||
to supply command arguments.
|
||||
|
||||
```
|
||||
```ucm
|
||||
.> find mynamespace
|
||||
|
||||
😶
|
||||
|
||||
No results. Check your spelling, or try using tab completion
|
||||
to supply command arguments.
|
||||
|
||||
```
|
||||
The history of the namespace should still exist if requested explicitly.
|
||||
|
||||
```ucm
|
||||
.> history mynamespace
|
||||
|
||||
Note: The most recent namespace hash is immediately below this
|
||||
message.
|
||||
|
||||
⊙ #qjc20aua9h
|
||||
|
||||
- Deletes:
|
||||
|
||||
x
|
||||
|
||||
□ #hkrqt3tm05 (start of history)
|
||||
|
||||
```
|
||||
Merging an empty namespace should still copy its history if it has some.
|
||||
|
||||
```ucm
|
||||
☝️ The namespace .empty is empty.
|
||||
|
||||
.empty> history
|
||||
|
||||
☝️ The namespace .empty is empty.
|
||||
|
||||
.empty> merge .mynamespace
|
||||
|
||||
Nothing changed as a result of the merge.
|
||||
|
||||
.empty> history
|
||||
|
||||
Note: The most recent namespace hash is immediately below this
|
||||
message.
|
||||
|
||||
⊙ #qjc20aua9h
|
||||
|
||||
- Deletes:
|
||||
|
||||
x
|
||||
|
||||
□ #hkrqt3tm05 (start of history)
|
||||
|
||||
```
|
Loading…
Reference in New Issue
Block a user