From 8dab19e27e7d8c81cf3fec4413172a7597c9da44 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Wed, 25 May 2016 12:28:30 -0400 Subject: [PATCH 4/7] 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. --- man/os-release.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man/os-release.xml b/man/os-release.xml index 1c069275c8..272258b4e1 100644 --- a/man/os-release.xml +++ b/man/os-release.xml @@ -148,7 +148,7 @@ A lower-case string (no spaces or other characters outside of 0–9, a–z, ".", "_" and "-") identifying the operating system, excluding any version information and suitable for processing by scripts or usage in generated filenames. If not set, a default of - ID=linux may be used. Note that even though this string may not include + ID=gnu-linux may be used. Note that even though this string may not include characters that require shell quoting, quoting may nevertheless be used. Examples: ID=fedora, ID=debian. -- 2.18.0