on master help sign in
examples: fix links
commitda0c4d8d6f5a402cb8a3a8b36f77284cd34bf375 authortinnus-napbus <admin@tinnus-napbus.xyz> dateThu 29 Jul 2021, 00:07 (5 years ago) parentcb980f8
1 file changed+4−4
content/docs/arvo/jael/examples.md+4−4
content/docs/arvo/jael/examples.md+4−4
@@ -6,7 +6,7 @@ template = "doc.html"
66
77This documents contains practical examples of a number of Jael's `task`s.
88
9−General documentation of the `task`s demonstrated here can be found in the [API Reference](@/docs/arvo/jael/tasks.md) document, and details of the data types mentioned can be found in the [Data Types](@/docs/arvo/jael/data-types.md) document.
9+General documentation of the `task`s demonstrated here can be found in the [API Reference](/docs/arvo/jael/tasks) document, and details of the data types mentioned can be found in the [Data Types](/docs/arvo/jael/data-types) document.
1010
1111## `%private-keys`
1212
@@ -112,7 +112,7 @@ Save the above thread in the `/ted` directory and `|commit %home`. The thread ta
112112> -sub-pub ~dopzod
113113```
114114
115−It first passes a `%public-keys` `task` to Jael that looks like `[%public-keys (silt ~[~dopzod])]` in order to subscribe. Jael will immediately respond with a `%public-keys` `gift` that contains a `%full` [$public-keys-result](@/docs/arvo/jael/data-types.md#public-keys-result). The `(map ship point)` contained will (for each ship specified in the `task`) include the current pubkeys for the ship's current life as well as previous keys for previous `life`s. It thus contains a complete record of keys up to the present for each ship. Our thread will print these out to the terminal like so:
115+It first passes a `%public-keys` `task` to Jael that looks like `[%public-keys (silt ~[~dopzod])]` in order to subscribe. Jael will immediately respond with a `%public-keys` `gift` that contains a `%full` [$public-keys-result](/docs/arvo/jael/data-types#public-keys-result). The `(map ship point)` contained will (for each ship specified in the `task`) include the current pubkeys for the ship's current life as well as previous keys for previous `life`s. It thus contains a complete record of keys up to the present for each ship. Our thread will print these out to the terminal like so:
116116
117117```
118118[ %public-keys
@@ -154,9 +154,9 @@ It first passes a `%public-keys` `task` to Jael that looks like `[%public-keys (
154154]
155155```
156156
157−Along with giving us the current information, Jael will also subscribe us to any future updates for the ships in question. Such updates will come as additional `%public-keys` `gift`s, but rather than a `%full` `public-keys-result`, they'll instead contain either a `%diff` or `%breach` `public-keys-result`, depending on what's happened to the ship in question. It's difficult to simulate such events for demonstrative purposes so an example is not included, but you can look at the [$public-keys-result](@/docs/arvo/jael/data-types.md#public-keys-result) to get an idea.
157+Along with giving us the current information, Jael will also subscribe us to any future updates for the ships in question. Such updates will come as additional `%public-keys` `gift`s, but rather than a `%full` `public-keys-result`, they'll instead contain either a `%diff` or `%breach` `public-keys-result`, depending on what's happened to the ship in question. It's difficult to simulate such events for demonstrative purposes so an example is not included, but you can look at the [$public-keys-result](/docs/arvo/jael/data-types#public-keys-result) to get an idea.
158158
159−Jael maintains a `(jug duct ship)` and its reverse `(jug ship duct)` in its state to track subscriptions. If we do a [subscriptions](@/docs/arvo/jael/scry.md#subscriptions) scry and filter the result for `~dopzod`, we can see the duct of our thread has now been added to the `~dopzod` `set`. Our thread does this, and will output something like:
159+Jael maintains a `(jug duct ship)` and its reverse `(jug ship duct)` in its state to track subscriptions. If we do a [subscriptions](/docs/arvo/jael/scry#subscriptions) scry and filter the result for `~dopzod`, we can see the duct of our thread has now been added to the `~dopzod` `set`. Our thread does this, and will output something like:
160160
161161```
162162{~[/gall/use/spider/0w1.vGVi-/~sampel-palnet/thread/~.dojo_0v6.0hlak.dam1b.bcdou.ai7gq.19fi8/sub-pubkeys /dill //term/1]}