Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is

To: Erik Pfannenstein <debianignatz@gmx.de>, 993475@bugs.debian.org
Subject: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
From: Holger Wansing <hwansing@mailbox.org>
Date: Fri, 10 Sep 2021 18:34:30 +0200
Message-id: <[🔎] 20210910183430.aaece0558f4c460f8bb381ef@mailbox.org>
Reply-to: Holger Wansing <hwansing@mailbox.org>, 993475@bugs.debian.org
In-reply-to: <[🔎] 163052655403.19408.2382721169547711922.reportbug@localhost>
References: <[🔎] 163052655403.19408.2382721169547711922.reportbug@localhost> <[🔎] 163052655403.19408.2382721169547711922.reportbug@localhost>

Control: tags -1 + pending

Erik Pfannenstein <debianignatz@gmx.de> wrote (Wed, 01 Sep 2021 22:02:34 +0200):
> Package: installation-guide
> Severity: normal
> 
> Dear Maintainer,
> 
> a while ago we recieved an e-mail notifying us that the chapter 1.02 states:
> "Linux is an operating system: […]" and that it should read "GNU/Linux is an operating system" instead.
> Technically, that's right. I ask you to correct this.

Just pushed. Thanks


Holger


-- 
Holger Wansing <hwansing@mailbox.org>
PGP-Fingerprint: 496A C6E8 1442 4B34 8508  3529 59F1 87CA 156E B076

Reply to:

References:
- Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
  - From: Erik Pfannenstein <debianignatz@gmx.de>

Prev by Date: Processed: Re: Bug#992183: [installation-guide] in example-preseed.txt file is missing a line for apt-setup
Next by Date: Processed: Re: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
Previous by thread: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
Next by thread: Processed: Re: Bug#993475: installation-guide: Linux is no operating system, GNU/Linux is
Index(es):
- Date
- Thread