From mboxrd@z Thu Jan 1 00:00:00 1970 From: Taylan Ulrich Bayirli/Kammer Subject: Re: Guix and The OS name? Date: Tue, 01 Jul 2014 15:13:13 +0300 Message-ID: <874mz1b7l2.fsf@taylan.uni.cx> References: <87fvil32i8.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43441) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X1wwM-00030C-Go for guix-devel@gnu.org; Tue, 01 Jul 2014 08:13:45 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X1wwH-0002Zh-3w for guix-devel@gnu.org; Tue, 01 Jul 2014 08:13:38 -0400 In-Reply-To: <87fvil32i8.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Tue, 01 Jul 2014 10:30:07 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel ludo@gnu.org (Ludovic Court=C3=A8s) writes: > So the distribution is called =E2=80=9Cthe GNU system=E2=80=9D, or =E2=80= =9CGNU=E2=80=9D. Hrm, isn't Guix also the name of the distro? https://gnu.org/s/guix/ says that "GNU Guix is a purely functional package manager for the GNU system, and a distribution thereof." And then the Guix logo has the "The GNU System" subtitle, and the page is about both the package manager and the distro, etc. I suppose it makes sense to use the more specific name Guix when differentiating between GNU/Linux distros, talking about this specific project, etc., although the resulting distro is also *the* GNU distro. Taylan