diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-05-25 12:28:30 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-10-21 18:41:01 -0400 |
| commit | 1558e4a6bf7fdcbc5d565f9733593fd4cbc82e84 (patch) | |
| tree | c39a8ba7ca2be8f937dbbb4ce38f13921d898b2d /man/os-release.xml | |
| parent | 37aae41b84479d0f9f8f2ca3c6922e344b5d16d3 (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.xml | 2 |
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> |