summaryrefslogtreecommitdiff
path: root/man/os-release.xml
diff options
context:
space:
mode:
authorLuke Shumaker <lukeshu@sbcglobal.net>2016-05-25 12:28:30 -0400
committerLuke Shumaker <lukeshu@sbcglobal.net>2016-12-17 00:56:39 -0500
commit363b82700faa7b3fddf08a9716bc4406824a7ccc (patch)
treeb618733cbd6d8180e4766673bd5d6a8913b6f104 /man/os-release.xml
parentb146c76b4023d2f9700dd60760e69df1b02852a7 (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.
Diffstat (limited to 'man/os-release.xml')
-rw-r--r--man/os-release.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/os-release.xml b/man/os-release.xml
index a88d16b171..caf60f41a3 100644
--- a/man/os-release.xml
+++ b/man/os-release.xml
@@ -145,7 +145,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>