From mboxrd@z Thu Jan 1 00:00:00 1970 From: taylanbayirli@gmail.com (Taylan Ulrich =?UTF-8?Q?Bay=C4=B1rl=C4=B1/Kammer?=) Subject: bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux distribution" Date: Fri, 23 Dec 2016 17:42:02 +0100 Message-ID: <87r34ywqat.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56553) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cKSvv-0005QB-DI for bug-guix@gnu.org; Fri, 23 Dec 2016 11:43:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cKSvu-0003Wq-Np for bug-guix@gnu.org; Fri, 23 Dec 2016 11:43:03 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:37469) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cKSvu-0003Wk-KO for bug-guix@gnu.org; Fri, 23 Dec 2016 11:43:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1cKSvu-0003LM-ER for bug-guix@gnu.org; Fri, 23 Dec 2016 11:43:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56349) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cKSv1-0005HR-Ib for bug-guix@gnu.org; Fri, 23 Dec 2016 11:42:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cKSv0-0003Ai-S3 for bug-guix@gnu.org; Fri, 23 Dec 2016 11:42:07 -0500 Received: from mail-wm0-x241.google.com ([2a00:1450:400c:c09::241]:33313) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cKSv0-0003AT-MS for bug-guix@gnu.org; Fri, 23 Dec 2016 11:42:06 -0500 Received: by mail-wm0-x241.google.com with SMTP id u144so42437080wmu.0 for ; Fri, 23 Dec 2016 08:42:06 -0800 (PST) Received: from T420 ([2a02:908:c30:3540:221:ccff:fe66:68f0]) by smtp.gmail.com with ESMTPSA id ke6sm41288803wjb.21.2016.12.23.08.42.04 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 23 Dec 2016 08:42:04 -0800 (PST) List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 25254@debbugs.gnu.org It would be better to be consistent with the home page and make clear that GuixSD is a GNU distribution, with Linux-libre being the default kernel for the foreseeable future. Background: Wikipedia has a policy to call GNU/Linux distributions "Linux distribution" because that wrong term is more commonly used by the public. To define GuixSD as a "GNU/Linux distribution" gives them in turn justification to define it as a "Linux distribution" instead. Taylan