diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/machine-id.xml | 2 | ||||
| -rw-r--r-- | man/os-release.xml | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/man/machine-id.xml b/man/machine-id.xml index 98c09436ba..d0bfbd240d 100644 --- a/man/machine-id.xml +++ b/man/machine-id.xml @@ -64,7 +64,7 @@ random source during system installation and stays constant for all subsequent boots. Optionally, for stateless systems it is generated during runtime at - boot.</para> + boot if it is found to be empty.</para> <para>The machine ID does not change based on user configuration, or when hardware is replaced.</para> diff --git a/man/os-release.xml b/man/os-release.xml index 1e4c067c1b..d8a45b303f 100644 --- a/man/os-release.xml +++ b/man/os-release.xml @@ -165,11 +165,11 @@ </varlistentry> </variablelist> - <para>If you interpreting this file from code or a - shell script, use the ID and VERSION_ID fields. When - looking for an OS identification string for - presentation to the user use the PRETTY_STRING - field.</para> + <para>If you are reading this file from code or a + shell script to determine the OS or a specific version + of it, use the ID and VERSION_ID fields. When looking + for an OS identification string for presentation to + the user use the PRETTY_NAME field.</para> <para>Note that operating system vendors may choose not to provide version information, for example to |