mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
Fix transcripts
This commit is contained in:
parent
e545e0b1a7
commit
f9db384df1
@ -34,15 +34,10 @@ Finding within a namespace
|
||||
|
||||
```ucm
|
||||
scratch/main> find bar
|
||||
-- Shows UUIDs
|
||||
-- scratch/main> find.global bar
|
||||
scratch/other> debug.find.global bar
|
||||
scratch/main> find-in somewhere bar
|
||||
```
|
||||
|
||||
```ucm:error
|
||||
scratch/main> find baz
|
||||
```
|
||||
|
||||
```ucm:error
|
||||
scratch/main> find.global notHere
|
||||
```
|
||||
|
@ -65,8 +65,15 @@ scratch/main> find bar
|
||||
1. somewhere.bar : Nat
|
||||
|
||||
|
||||
-- Shows UUIDs
|
||||
-- scratch/main> find.global bar
|
||||
scratch/other> debug.find.global bar
|
||||
|
||||
Found results in scratch/main
|
||||
|
||||
1. .cat.lib.bar : Nat
|
||||
2. .lib.bar : Nat
|
||||
3. .somewhere.bar : Nat
|
||||
|
||||
|
||||
scratch/main> find-in somewhere bar
|
||||
|
||||
1. bar : Nat
|
||||
@ -90,10 +97,3 @@ scratch/main> find baz
|
||||
namespace.
|
||||
|
||||
```
|
||||
``` ucm
|
||||
scratch/main> find.global notHere
|
||||
|
||||
⚠️
|
||||
I don't know how to find.global. Type `help` or `?` to get help.
|
||||
|
||||
```
|
||||
|
@ -32,16 +32,13 @@ scratch/main> names #gjmq673r1v
|
||||
scratch/main> names .some.place.x
|
||||
```
|
||||
|
||||
`names.global` searches from the root, and absolutely qualifies results
|
||||
`debug.names.global` searches from the root, and absolutely qualifies results
|
||||
|
||||
|
||||
TODO: swap this back to a 'ucm' block when names.global is re-implemented
|
||||
|
||||
```
|
||||
```ucm
|
||||
-- We can search from a different branch and find all names in the codebase named 'x', and each of their aliases respectively.
|
||||
scratch/other> names.global x
|
||||
scratch/other> debug.names.global x
|
||||
-- We can search by hash, and see all aliases of that hash in the codebase
|
||||
scratch/other> names.global #gjmq673r1v
|
||||
scratch/other> debug.names.global #gjmq673r1v
|
||||
-- We can search using an absolute name
|
||||
scratch/other> names.global .some.place.x
|
||||
scratch/other> debug.names.global .some.place.x
|
||||
```
|
||||
|
@ -75,16 +75,37 @@ scratch/main> names .some.place.x
|
||||
Names: some.otherplace.y some.place.x somewhere.z
|
||||
|
||||
```
|
||||
`names.global` searches from the root, and absolutely qualifies results
|
||||
`debug.names.global` searches from the root, and absolutely qualifies results
|
||||
|
||||
TODO: swap this back to a 'ucm' block when names.global is re-implemented
|
||||
|
||||
```
|
||||
``` ucm
|
||||
-- We can search from a different branch and find all names in the codebase named 'x', and each of their aliases respectively.
|
||||
scratch/other> names.global x
|
||||
-- We can search by hash, and see all aliases of that hash in the codebase
|
||||
scratch/other> names.global #gjmq673r1v
|
||||
-- We can search using an absolute name
|
||||
scratch/other> names.global .some.place.x
|
||||
```
|
||||
scratch/other> debug.names.global x
|
||||
|
||||
Found results in scratch/main
|
||||
|
||||
Terms
|
||||
Hash: #gjmq673r1v
|
||||
Names: some.otherplace.y some.place.x somewhere.z
|
||||
|
||||
Hash: #pi25gcdv0o
|
||||
Names: some.otherplace.x
|
||||
|
||||
-- We can search by hash, and see all aliases of that hash in the codebase
|
||||
scratch/other> debug.names.global #gjmq673r1v
|
||||
|
||||
Found results in scratch/main
|
||||
|
||||
Term
|
||||
Hash: #gjmq673r1v
|
||||
Names: some.otherplace.y some.place.x somewhere.z
|
||||
|
||||
-- We can search using an absolute name
|
||||
scratch/other> debug.names.global .some.place.x
|
||||
|
||||
Found results in scratch/main
|
||||
|
||||
Term
|
||||
Hash: #gjmq673r1v
|
||||
Names: some.otherplace.y some.place.x somewhere.z
|
||||
|
||||
```
|
||||
|
Loading…
Reference in New Issue
Block a user