diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2016-05-25 12:28:30 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@lukeshu.com> | 2018-07-19 12:22:40 -0400 |
commit | 45c5668be215f1aef80c0eb3ae9cc305fb7dc071 (patch) | |
tree | d5d998495b3b3ddef7233b769e4929cb55eb6c3a | |
parent | 4a1e3f326e01ae7d564d9d434d972fe423872501 (diff) |
FSDG: os-release: Default ID to "gnu-linux" instead of "linux"
As far as I can tell, no code in this repository actually uses the ID
field, so this is just a man page change.
-rw-r--r-- | man/os-release.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/os-release.xml b/man/os-release.xml index ad3891e719..81f294c7e4 100644 --- a/man/os-release.xml +++ b/man/os-release.xml @@ -147,7 +147,7 @@ the operating system, excluding any version information and suitable for processing by scripts or usage in generated filenames. If not set, defaults to - <literal>ID=linux</literal>. Example: + <literal>ID=gnu-linux</literal>. Example: <literal>ID=fedora</literal> or <literal>ID=debian</literal>.</para></listitem> </varlistentry> |