From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Tomas Nordin Newsgroups: gmane.emacs.help Subject: Re: What OS is used by Richard Stallman Date: Tue, 02 Oct 2018 21:37:36 +0200 Message-ID: <87lg7g9m2n.fsf@fliptop.i-did-not-set--mail-host-address--so-tickle-me> References: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1538508969 21373 195.159.176.226 (2 Oct 2018 19:36:09 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 2 Oct 2018 19:36:09 +0000 (UTC) Cc: "help-gnu-emacs@gnu.org" To: microsoft gaofei , Yuri Khan , "rms\@gnu.org" Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Tue Oct 02 21:36:04 2018 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1g7QSh-0005PU-34 for geh-help-gnu-emacs@m.gmane.org; Tue, 02 Oct 2018 21:36:04 +0200 Original-Received: from localhost ([::1]:45294 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g7QUn-0001XA-JJ for geh-help-gnu-emacs@m.gmane.org; Tue, 02 Oct 2018 15:38:13 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:48070) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1g7QUO-0001Ph-B2 for help-gnu-emacs@gnu.org; Tue, 02 Oct 2018 15:37:49 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1g7QUK-0005k0-DP for help-gnu-emacs@gnu.org; Tue, 02 Oct 2018 15:37:48 -0400 Original-Received: from mout01.posteo.de ([185.67.36.65]:48134) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1g7QUK-0005jU-3J for help-gnu-emacs@gnu.org; Tue, 02 Oct 2018 15:37:44 -0400 Original-Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 0839B20F2C for ; Tue, 2 Oct 2018 21:37:40 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1538509061; bh=myZMaoGGsbm6STQESXW7DZH/7gtAnTkZGxPslUT/qZs=; h=From:To:Cc:Subject:Date:From; b=qd7yEylL6LKUvBmxsxAcCSrg6XlQeutgdKBsG6ZeQIeZ6Yp+1DXqWpS95lb6dnqR9 4oYfViw7h9MFpr/ATBVh4UPkLjjAY7V7OO7Ak2SBduILSNdyIRNaYq2xm/OsdZkNjW kKODfJcyLqjMR6VUlLZq6AaFAiddJc0zojzgTYVGVJPpzNjiuYrUvqwW25RaEZ6VVl EiyK7xjBsTzTsmyOm2WX5Xz16SP1mbx+rPoK6gGl4F2DXFzfSlDnW39mOxQ+cTWI04 B54WfHTAyBbugM165I02xUyX1PUv2AnKOj6dw4bohc+n5d/9B7G/yfWu3fuhSstIFa 8pPMH0E2v6MDA== Original-Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 42PqDf1Qfsz6tm6; Tue, 2 Oct 2018 21:37:37 +0200 (CEST) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 185.67.36.65 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.org gmane.emacs.help:118094 Archived-At: microsoft gaofei writes: >>I [always?] took the slash to be pronounced =E2=80=9Cover=E2=80=9D as in = fractions. >>Makes it look like a stack =E2=80=94 GNU userland over Linux kernel. > No. "Android kernel" means the kernel used by Google, and "windows > kernel" means the kernel used by Microsoft, obviously, "Linux kernel" > means the kernel inside a kernel. So "Linux kernel" is definitely > wrong. You better say "Linux, the kernel," and must use comma, see > https://www.merriam-webster.com/dictionary/nonrestrictive%20clause . > If you think using comma is a time waster, you can say "the kernel > Linux". You must say: "There is no system but GNU, and Linux is one of its kernels". Best regards -- Tomas