From 811ad2b3a4f0a53c22ac26a19d1b3e93afcbd32f Mon Sep 17 00:00:00 2001 From: Lennart Poettering Date: Thu, 21 Apr 2011 01:18:23 +0200 Subject: [PATCH] man: minor fixes --- man/machine-id.xml | 2 +- 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 98c09436b..d0bfbd240 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. + boot if it is found to be empty. The machine ID does not change based on user configuration, or when hardware is replaced. diff --git a/man/os-release.xml b/man/os-release.xml index 1e4c067c1..d8a45b303 100644 --- a/man/os-release.xml +++ b/man/os-release.xml @@ -165,11 +165,11 @@ - 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. + 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. Note that operating system vendors may choose not to provide version information, for example to -- 2.30.2