mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 05:20:46 +03:00
Port find-command to projects
This commit is contained in:
parent
a92885a8bd
commit
f71008b6a2
@ -1,6 +1,5 @@
|
||||
```ucm:hide
|
||||
scratch/main> builtins.merge
|
||||
scratch/main> move builtin lib.builtin
|
||||
scratch/main> builtins.merge lib.builtin
|
||||
```
|
||||
|
||||
```unison:hide
|
||||
@ -31,13 +30,12 @@ scratch/main> find-in.all cat foo
|
||||
scratch/main> view 1
|
||||
```
|
||||
|
||||
```ucm
|
||||
scratch/main somewhere> find bar
|
||||
scratch/main somewhere> find.global bar
|
||||
```
|
||||
Finding within a namespace
|
||||
|
||||
```ucm
|
||||
scratch/main> find bar
|
||||
-- Shows UUIDs
|
||||
-- scratch/main> find.global bar
|
||||
scratch/main> find-in somewhere bar
|
||||
```
|
||||
|
||||
|
@ -57,10 +57,24 @@ scratch/main> view 1
|
||||
cat.lib.foo = 5
|
||||
|
||||
```
|
||||
```ucm
|
||||
☝️ The namespace .somewhere is empty.
|
||||
Finding within a namespace
|
||||
|
||||
.somewhere> find bar
|
||||
```ucm
|
||||
scratch/main> find bar
|
||||
|
||||
1. somewhere.bar : Nat
|
||||
|
||||
|
||||
-- Shows UUIDs
|
||||
-- scratch/main> find.global bar
|
||||
scratch/main> find-in somewhere bar
|
||||
|
||||
1. bar : Nat
|
||||
|
||||
|
||||
```
|
||||
```ucm
|
||||
scratch/main> find baz
|
||||
|
||||
☝️
|
||||
|
||||
@ -76,22 +90,13 @@ scratch/main> view 1
|
||||
namespace.
|
||||
|
||||
```
|
||||
|
||||
```ucm
|
||||
.somewhere> find bar.somewhere> find.global bar
|
||||
```
|
||||
|
||||
|
||||
🛑
|
||||
|
||||
The transcript failed due to an error in the stanza above. The error is:
|
||||
|
||||
scratch/main> find.global notHere
|
||||
|
||||
😶
|
||||
|
||||
No results. Check your spelling, or try using tab completion
|
||||
to supply command arguments.
|
||||
|
||||
`find.global` can be used to search outside the current
|
||||
namespace.
|
||||
|
||||
```
|
||||
|
Loading…
Reference in New Issue
Block a user