mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
Fix move-namespace transcript
This commit is contained in:
parent
67a41cdaf1
commit
1cd3f3cff8
@ -11,6 +11,8 @@ foo = 1
|
||||
|
||||
```ucm
|
||||
scratch/main> add
|
||||
-- Should request confirmation
|
||||
scratch/main> move.namespace . .root.at.path
|
||||
scratch/main> move.namespace . .root.at.path
|
||||
scratch/main> ls
|
||||
scratch/main> history
|
||||
@ -26,6 +28,7 @@ I should be able to move a sub namespace _over_ the root.
|
||||
```ucm
|
||||
-- Should request confirmation
|
||||
scratch/main> move.namespace .root.at.path .
|
||||
scratch/main> move.namespace .root.at.path .
|
||||
scratch/main> ls
|
||||
scratch/main> history
|
||||
```
|
||||
|
@ -16,6 +16,14 @@ scratch/main> add
|
||||
|
||||
foo : ##Nat
|
||||
|
||||
-- Should request confirmation
|
||||
scratch/main> move.namespace . .root.at.path
|
||||
|
||||
⚠️
|
||||
|
||||
Moves which affect the root branch cannot be undone, are you sure?
|
||||
Re-run the same command to proceed.
|
||||
|
||||
scratch/main> move.namespace . .root.at.path
|
||||
|
||||
Done.
|
||||
@ -57,10 +65,10 @@ scratch/main> move.namespace .root.at.path .
|
||||
|
||||
⚠️
|
||||
|
||||
A branch existed at the destination: . so I over-wrote it.
|
||||
|
||||
Tip: You can use `undo` or use a hash from `branch.reflog` to
|
||||
undo this change.
|
||||
Moves which affect the root branch cannot be undone, are you sure?
|
||||
Re-run the same command to proceed.
|
||||
|
||||
scratch/main> move.namespace .root.at.path .
|
||||
|
||||
Done.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user