Skip to content

Commit d0171dc

Browse files
authored
Merge pull request #6066 from unisonweb/moveto-rename
2 parents 722b464 + 4abf8af commit d0171dc

File tree

1 file changed

+21
-0
lines changed

1 file changed

+21
-0
lines changed

unison-src/transcripts/idempotent/move-to-and-rename.md

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -242,6 +242,27 @@ scratch/other> ls organized.inner
242242
2. y (Nat)
243243
```
244244

245+
### Move items to the top level
246+
247+
`moveTo` can move items to the root namespace using `.` as the destination:
248+
249+
``` ucm
250+
scratch/other> moveTo dest.one organized.inner .
251+
252+
Moved:
253+
254+
organized.inner -> .inner
255+
dest.one -> .one
256+
257+
scratch/other> ls
258+
259+
1. builtin. (676 terms, 107 types)
260+
2. inner. (2 terms)
261+
3. newplace. (2 terms)
262+
4. one (Nat)
263+
5. types. (1 term, 1 type)
264+
```
265+
245266
### Error case - source doesn't exist
246267

247268
``` ucm :error

0 commit comments

Comments
 (0)