unison/unison-src/transcripts/empty-namespaces.md

78 lines
1.3 KiB
Markdown
Raw Permalink Normal View History

# Empty namespace behaviours
2021-12-07 00:06:11 +03:00
```unison:hide
2021-12-06 23:44:40 +03:00
mynamespace.x = 1
```
```ucm:hide
scratch/main> add
scratch/main> delete.namespace mynamespace
2021-12-06 23:44:40 +03:00
```
The deleted namespace shouldn't appear in `ls` output.
2021-12-07 00:06:11 +03:00
```ucm:error
scratch/main> ls
2021-12-06 23:44:40 +03:00
```
2021-12-07 00:06:11 +03:00
```ucm:error
scratch/main> find.verbose
2021-12-07 00:06:11 +03:00
```
```ucm:error
scratch/main> find mynamespace
2021-12-07 00:06:11 +03:00
```
## history
2023-01-30 20:08:34 +03:00
The history of the namespace should be empty.
```ucm
scratch/main> history mynamespace
```
2021-12-07 00:43:56 +03:00
Add and then delete a term to add some history to a deleted namespace.
```unison:hide
2021-12-07 00:43:56 +03:00
deleted.x = 1
stuff.thing = 2
```
```ucm:hide
scratch/main> add
scratch/main> delete.namespace deleted
```
## fork
2021-12-07 00:43:56 +03:00
I should be allowed to fork over a deleted namespace
```ucm
scratch/main> fork stuff deleted
```
2021-12-07 00:43:56 +03:00
The history from the `deleted` namespace should have been overwritten by the history from `stuff`.
```ucm
scratch/main> history stuff
scratch/main> history deleted
```
## move.namespace
```unison:hide
moveoverme.x = 1
moveme.y = 2
```
```ucm:hide
scratch/main> add
```
I should be able to move a namespace over-top of a deleted namespace.
The history should be that of the moved namespace.
```ucm
scratch/main> delete.namespace moveoverme
scratch/main> history moveme
scratch/main> move.namespace moveme moveoverme
scratch/main> history moveoverme
```