diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2024-03-19 08:08:36 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-03-19 08:08:36 +0200 |
| commit | 78bb97e255c946f3235dfe7cb50487328e9d60e0 (patch) | |
| tree | 3248b16161a642e7c9515da4d1266eba8150e6bc /doc | |
| parent | b5a45516a82e36cd7be914cee11aa18791c7ee34 (diff) | |
Minor tweaks to auxiliary machines semantics in manual
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.cli | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index b95e788..0de6d0b 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -340,7 +340,7 @@ The minimum and the maximum amount of RAM in KiB that the machine requires. The maximum amount is interpreted as the amount beyond which there will be no benefit. If unspecified, then it is assumed the machine will run with any minimum amount a deployment will provide and will always benefit from more -RAM, respectively. +RAM, respectively. Neither value should be \c{0}. \h#arch-machine|Machine Manifest| @@ -621,8 +621,8 @@ one per line, in the form: \ Whitespaces before \c{<name>}, around \c{=}, and after \c{<value>} as well as -blank lines are ignored. The \c{<value>} part as a whole can be single ('\ ') -or double (\"\ \") quoted. For example: +blank lines and lines that start with \c{#} are ignored. The \c{<value>} part +as a whole can be single ('\ ') or double (\"\ \") quoted. For example: \ DATABASE_HOST=192.168.0.1 @@ -931,6 +931,11 @@ starts with the task request manifest followed by a list of machine header manifests. The task request manifest synopsis is presented next followed by the detailed description of each value in subsequent sections. +\N|The controller is expected to pick each offered machine header manifest +only once. If an agent is capable of running multiple instances of the same +machine, then it must send the matching number of machine header manifests for +such a machine.| + \ agent: <name> toolchain-name: <name> |