From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 17 12:49:25 2022 Received: (at submit) by debbugs.gnu.org; 17 Oct 2022 16:49:25 +0000 Received: from localhost ([127.0.0.1]:49776 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1okTIr-00060x-6d for submit@debbugs.gnu.org; Mon, 17 Oct 2022 12:49:25 -0400 Received: from lists.gnu.org ([209.51.188.17]:49108) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1okTIq-00060l-46 for submit@debbugs.gnu.org; Mon, 17 Oct 2022 12:49:24 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45450) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okTId-0005oM-NF for guix-patches@gnu.org; Mon, 17 Oct 2022 12:49:21 -0400 Received: from knopi.disroot.org ([178.21.23.139]:42364) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okTIa-0002qo-Er for guix-patches@gnu.org; Mon, 17 Oct 2022 12:49:10 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 041AF4CA26; Mon, 17 Oct 2022 18:49:06 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with UTF8SMTP id JSk5Vwew4PIl; Mon, 17 Oct 2022 18:49:05 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1666024989; bh=3h8wDYoXqVETs3zT7XD9tXYeRJ+3jn2sRND4dkNBZmw=; h=Date:To:Cc:Subject:From:References:In-Reply-To; b=O263i8/AA49FsLIb8AqHRrvWnxl9GDbXXZqCI/sLvtmm9VI1STrjNVC6tAd8hja82 KffWbMGCIggYk8IfZ0cxwWG/w2aITxbZUzdmMgirfeaV3YZhpXEmsB5KOkU81KbJfD i/WkTqo8WaKBqjQJQcKteq/Qe2PXZW0FM1W++144/jQrN9H1rHrRfR20GZbPx+951s /7f8dqtpholAM06uJMYzNLmyvfAoSaoIkEmYSua8Fpfl60ASj23CkyYRiE4v+ZkMgH OIe1nz5vq59JNaShKkffnq9PDwF4xFxOIDJ4KqCObAzgoirsGbr2XZ4p2cbw6HMDzT h6ZmOua72o3gQ== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Mon, 17 Oct 2022 17:43:08 +0100 Message-Id: To: "Tobias Geerinckx-Rice" Subject: Re: [bug#58583] [PATCH v2] scripts: package: Forbid installation of the guix package. From: "(" References: <20221017121642.15468-1-paren@disroot.org> <20221017122254.16230-1-paren@disroot.org> <871qr6e7fb.fsf@nckx> In-Reply-To: <871qr6e7fb.fsf@nckx> Received-SPF: pass client-ip=178.21.23.139; envelope-from=paren@disroot.org; helo=knopi.disroot.org X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: submit Cc: 58583@debbugs.gnu.org, guix-patches@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Heya, On Mon Oct 17, 2022 at 5:24 PM BST, Tobias Geerinckx-Rice wrote: > > + (report-error (G_ "the 'guix' package should not be=20 > > installed")) > > + (newline (current-error-port)) > > I would write (report-error "=E2=80=A6~%") sans (newline). If you=20 > intentionally didn't, let's explicitly discuss that. Agh, silly me. I'll correct that in a moment. -- (