2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2022-07-11 18:10:04 +03:00
|
|
|
foo = 1
|
|
|
|
lib.foo = 2
|
|
|
|
lib.bar = 3
|
2024-04-29 04:30:02 +03:00
|
|
|
cat.foo = 4
|
|
|
|
cat.lib.foo = 5
|
|
|
|
cat.lib.bar = 6
|
|
|
|
somewhere.bar = 7
|
2022-07-11 18:10:04 +03:00
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find foo
|
2024-04-29 04:30:02 +03:00
|
|
|
|
|
|
|
1. cat.foo : Nat
|
|
|
|
2. foo : Nat
|
|
|
|
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> view 1
|
2024-04-29 04:30:02 +03:00
|
|
|
|
|
|
|
cat.foo : Nat
|
|
|
|
cat.foo = 4
|
2022-07-11 18:10:04 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find.all foo
|
2023-12-22 14:55:24 +03:00
|
|
|
|
2024-04-29 04:30:02 +03:00
|
|
|
1. cat.foo : Nat
|
|
|
|
2. cat.lib.foo : Nat
|
|
|
|
3. lib.foo : Nat
|
|
|
|
4. foo : Nat
|
2022-07-11 18:10:04 +03:00
|
|
|
|
2024-04-29 04:30:02 +03:00
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> view 1
|
2024-04-29 04:30:02 +03:00
|
|
|
|
|
|
|
cat.foo : Nat
|
|
|
|
cat.foo = 4
|
2022-07-11 18:10:04 +03:00
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find-in cat foo
|
2022-07-11 18:10:04 +03:00
|
|
|
|
2024-04-29 04:30:02 +03:00
|
|
|
1. foo : Nat
|
2022-07-11 18:10:04 +03:00
|
|
|
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> view 1
|
2022-07-11 18:10:04 +03:00
|
|
|
|
2024-04-29 04:30:02 +03:00
|
|
|
cat.foo : Nat
|
|
|
|
cat.foo = 4
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> find-in.all cat foo
|
2024-04-29 04:30:02 +03:00
|
|
|
|
|
|
|
1. lib.foo : Nat
|
|
|
|
2. foo : Nat
|
2024-01-08 23:17:35 +03:00
|
|
|
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> view 1
|
2024-04-29 04:30:02 +03:00
|
|
|
|
|
|
|
cat.lib.foo : Nat
|
|
|
|
cat.lib.foo = 5
|
|
|
|
|
2024-01-08 23:17:35 +03:00
|
|
|
```
|
2024-06-26 21:03:22 +03:00
|
|
|
Finding within a namespace
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-26 21:03:22 +03:00
|
|
|
scratch/main> find bar
|
|
|
|
|
|
|
|
1. somewhere.bar : Nat
|
|
|
|
|
2022-07-11 18:10:04 +03:00
|
|
|
|
2024-08-01 02:54:10 +03:00
|
|
|
scratch/other> debug.find.global bar
|
|
|
|
|
|
|
|
Found results in scratch/main
|
|
|
|
|
|
|
|
1. .cat.lib.bar : Nat
|
|
|
|
2. .lib.bar : Nat
|
|
|
|
3. .somewhere.bar : Nat
|
|
|
|
|
|
|
|
|
2024-06-26 21:03:22 +03:00
|
|
|
scratch/main> find-in somewhere bar
|
|
|
|
|
|
|
|
1. bar : Nat
|
|
|
|
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-26 21:03:22 +03:00
|
|
|
scratch/main> find baz
|
2022-07-11 18:10:04 +03:00
|
|
|
|
|
|
|
☝️
|
|
|
|
|
|
|
|
I couldn't find matches in this namespace, searching in
|
|
|
|
'lib'...
|
|
|
|
|
|
|
|
😶
|
|
|
|
|
|
|
|
No results. Check your spelling, or try using tab completion
|
|
|
|
to supply command arguments.
|
|
|
|
|
2024-08-01 01:58:28 +03:00
|
|
|
`debug.find.global` can be used to search outside the current
|
2022-07-11 18:10:04 +03:00
|
|
|
namespace.
|
|
|
|
|
2022-08-23 18:49:05 +03:00
|
|
|
```
|