blob: 58e157b218b5bce290374d16de1c7f85be788a86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
From 8dab19e27e7d8c81cf3fec4413172a7597c9da44 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@parabola.nu>
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
@@ -122,7 +122,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>
--
2.18.0
|
