diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-07-06 10:49:59 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-07-06 11:29:05 +0200 |
| commit | e9dd6984076389e8cfa15b72bc62187544e49b61 (patch) | |
| tree | 677786e0e3b645a848caaaa303597cdc9652d21d /man/machine-id.xml | |
| parent | 3da49ad55a2fdf5aecf6ce891200527e7eb432ef (diff) | |
| download | systemd-e9dd6984076389e8cfa15b72bc62187544e49b61.tar.gz | |
tree-wide: fixes for assorted grammar and spelling issues
Fixes #16363. Also includes some changes where I generalized the pattern.
Diffstat (limited to 'man/machine-id.xml')
| -rw-r--r-- | man/machine-id.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/machine-id.xml b/man/machine-id.xml index ebee065a61..bd55366ac8 100644 --- a/man/machine-id.xml +++ b/man/machine-id.xml @@ -39,7 +39,7 @@ <para>The machine ID may be set, for example when network booting, with the <varname>systemd.machine_id=</varname> kernel command line parameter or by passing the - option <option>--machine-id=</option> to systemd. An ID is specified in this manner + option <option>--machine-id=</option> to systemd. An ID specified in this manner has higher priority and will be used instead of the ID stored in <filename>/etc/machine-id</filename>.</para> |