Skip to content

Commit

Permalink
Merge pull request #57 from awesomebytes/typos_in_docs
Browse files Browse the repository at this point in the history
Fix minor typos
  • Loading branch information
Mallets authored Sep 10, 2024
2 parents 05656a9 + ac32aac commit 54859a0
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions content/docs/manual/abstractions.md
Original file line number Diff line number Diff line change
Expand Up @@ -179,8 +179,8 @@ Since there exist many ways to implement the storing part of the process, the `s

## Admin space

The key space of Zenoh dedicate to administer a Zenoh router and its plugins.
It is accessible via regular get/put on Zenoh, under the `@/router/<router-id>` prefix, where
The key space of Zenoh dedicated to administering a Zenoh router and its plugins.
It is accessible via regular GET/PUT on Zenoh, under the `@/router/<router-id>` prefix, where
**`<router-id>`** is the UUID of a Zenoh router.

When using the REST API, you can replace the `<router-id>` with the **`local`** keyword,
Expand Down
2 changes: 1 addition & 1 deletion content/docs/manual/configuration.md
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ The configuration of a Zenoh router can be changed at runtime via its admin spac
```
- either via the `zenohd` command line option: `--adminspace-permissions <[r|w|rw|none]>`

Then you can change elements of it's configuration once it's started, by sending put messages to its [admin space](../abstractions#admin-space).
Then you can change elements of it's configuration once it's started, by sending PUT messages to its [admin space](../abstractions#admin-space).

If one of the `zenohd` instances uses the REST plugin to expose Zenoh to HTTP requests, this can be done simply by sending such requests with tools such as `curl`.
To do this, use commands such as
Expand Down
2 changes: 1 addition & 1 deletion content/docs/manual/plugin-http.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@ The REST plugin provides access to the Zenoh [REST API](../../apis/rest/) by ena
There are two main ways to start this plugin:
- **Through startup arguments**: `zenohd`'s `--rest-http-port=[PORT | IP:PORT | none]` argument allows you to choose which port will be listened to by the HTTP server. Note that the default value for this argument is `8000`, meaning that unless you specify `none` explicitly, `zenohd` will use this plugin by default.

- **Through configuration:**: you may also configure the rest plugin in a `zenohd` config file, as illustrated in the Zenoh repo's [DEFAULT_CONFIG.json5 file](https://github.com/eclipse-zenoh/zenoh/blob/master/DEFAULT_CONFIG.json5)
- **Through configuration**: you may also configure the rest plugin in a `zenohd` config file, as illustrated in the Zenoh repo's [DEFAULT_CONFIG.json5 file](https://github.com/eclipse-zenoh/zenoh/blob/master/DEFAULT_CONFIG.json5)

0 comments on commit 54859a0

Please sign in to comment.