2021-12-06 23:44:40 +03:00
|
|
|
# Empty namespace behaviours
|
|
|
|
|
|
|
|
```unison
|
|
|
|
mynamespace.x = 1
|
|
|
|
```
|
|
|
|
|
2021-12-07 00:06:11 +03:00
|
|
|
The deleted namespace shouldn't appear in `ls` output.
|
2021-12-06 23:44:40 +03:00
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> ls
|
2021-12-07 00:06:11 +03:00
|
|
|
|
|
|
|
nothing to show
|
2021-12-06 23:44:40 +03:00
|
|
|
|
2021-12-07 00:06:11 +03:00
|
|
|
```
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find.verbose
|
2022-07-11 18:42:20 +03:00
|
|
|
|
|
|
|
☝️
|
|
|
|
|
|
|
|
I couldn't find matches in this namespace, searching in
|
|
|
|
'lib'...
|
2021-12-07 00:06:11 +03:00
|
|
|
|
|
|
|
😶
|
2021-12-06 23:44:40 +03:00
|
|
|
|
2021-12-07 00:06:11 +03:00
|
|
|
No results. Check your spelling, or try using tab completion
|
|
|
|
to supply command arguments.
|
2022-04-07 00:20:44 +03:00
|
|
|
|
|
|
|
`find.global` can be used to search outside the current
|
|
|
|
namespace.
|
2021-12-06 23:44:40 +03:00
|
|
|
|
|
|
|
```
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find mynamespace
|
2021-12-06 23:44:40 +03:00
|
|
|
|
2022-07-11 18:42:20 +03:00
|
|
|
☝️
|
|
|
|
|
|
|
|
I couldn't find matches in this namespace, searching in
|
|
|
|
'lib'...
|
|
|
|
|
2021-12-07 00:06:11 +03:00
|
|
|
😶
|
|
|
|
|
|
|
|
No results. Check your spelling, or try using tab completion
|
|
|
|
to supply command arguments.
|
2022-04-07 00:20:44 +03:00
|
|
|
|
|
|
|
`find.global` can be used to search outside the current
|
|
|
|
namespace.
|
2021-12-06 23:44:40 +03:00
|
|
|
|
|
|
|
```
|
2021-12-09 01:39:48 +03:00
|
|
|
## history
|
|
|
|
|
2023-01-30 20:08:34 +03:00
|
|
|
The history of the namespace should be empty.
|
2021-12-07 00:09:58 +03:00
|
|
|
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> history mynamespace
|
2021-12-07 00:09:58 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
☝️ The namespace mynamespace is empty.
|
2021-12-07 00:09:58 +03:00
|
|
|
|
2021-12-07 00:15:40 +03:00
|
|
|
```
|
2021-12-09 01:39:48 +03:00
|
|
|
Add and then delete a term to add some history to a deleted namespace.
|
|
|
|
|
|
|
|
```unison
|
|
|
|
deleted.x = 1
|
|
|
|
stuff.thing = 2
|
|
|
|
```
|
|
|
|
|
2021-12-13 21:14:16 +03:00
|
|
|
## fork
|
|
|
|
|
2021-12-09 01:39:48 +03:00
|
|
|
I should be allowed to fork over a deleted namespace
|
|
|
|
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> fork stuff deleted
|
2021-12-09 01:39:48 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
|
|
|
```
|
|
|
|
The history from the `deleted` namespace should have been overwritten by the history from `stuff`.
|
|
|
|
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> history stuff
|
2021-12-09 01:39:48 +03:00
|
|
|
|
|
|
|
Note: The most recent namespace hash is immediately below this
|
|
|
|
message.
|
|
|
|
|
|
|
|
|
|
|
|
|
2022-02-14 22:31:57 +03:00
|
|
|
□ 1. #q2dq4tsno1 (start of history)
|
2021-12-09 01:39:48 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> history deleted
|
2021-12-09 01:39:48 +03:00
|
|
|
|
|
|
|
Note: The most recent namespace hash is immediately below this
|
|
|
|
message.
|
|
|
|
|
|
|
|
|
|
|
|
|
2022-02-14 22:31:57 +03:00
|
|
|
□ 1. #q2dq4tsno1 (start of history)
|
2021-12-09 01:39:48 +03:00
|
|
|
|
|
|
|
```
|
2021-12-13 21:14:16 +03:00
|
|
|
## move.namespace
|
|
|
|
|
|
|
|
```unison
|
|
|
|
moveoverme.x = 1
|
|
|
|
moveme.y = 2
|
|
|
|
```
|
|
|
|
|
|
|
|
I should be able to move a namespace over-top of a deleted namespace.
|
|
|
|
The history should be that of the moved namespace.
|
|
|
|
|
|
|
|
```ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> delete.namespace moveoverme
|
2021-12-13 21:14:16 +03:00
|
|
|
|
2022-06-06 20:59:53 +03:00
|
|
|
Done.
|
2021-12-13 21:14:16 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> history moveme
|
2021-12-13 21:14:16 +03:00
|
|
|
|
|
|
|
Note: The most recent namespace hash is immediately below this
|
|
|
|
message.
|
|
|
|
|
|
|
|
|
|
|
|
|
2022-02-14 22:31:57 +03:00
|
|
|
□ 1. #c5uisu4kll (start of history)
|
2021-12-13 21:14:16 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> move.namespace moveme moveoverme
|
2021-12-13 21:14:16 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> history moveoverme
|
2021-12-13 21:14:16 +03:00
|
|
|
|
|
|
|
Note: The most recent namespace hash is immediately below this
|
|
|
|
message.
|
|
|
|
|
|
|
|
|
|
|
|
|
2022-02-14 22:31:57 +03:00
|
|
|
□ 1. #c5uisu4kll (start of history)
|
2021-12-13 21:14:16 +03:00
|
|
|
|
|
|
|
```
|