From debbugs-submit-bounces@debbugs.gnu.org Tue Dec 12 00:37:25 2023 Received: (at submit) by debbugs.gnu.org; 12 Dec 2023 05:37:25 +0000 Received: from localhost ([127.0.0.1]:55111 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rCvSP-0002gg-2h for submit@debbugs.gnu.org; Tue, 12 Dec 2023 00:37:25 -0500 Received: from lists.gnu.org ([2001:470:142::17]:43304) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rCvSK-0002gP-Ds for submit@debbugs.gnu.org; Tue, 12 Dec 2023 00:37:23 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rCvRz-0005UG-Fs for bug-guix@gnu.org; Tue, 12 Dec 2023 00:36:59 -0500 Received: from omta002.cacentral1.a.cloudfilter.net ([3.97.99.33]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rCvRx-0006D3-OH for bug-guix@gnu.org; Tue, 12 Dec 2023 00:36:59 -0500 Received: from shw-obgw-4003a.ext.cloudfilter.net ([10.228.9.183]) by cmsmtp with ESMTPS id ChgorX54CB0n0CvRwrx2JV; Tue, 12 Dec 2023 05:36:56 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=shaw.ca; s=s20180605; t=1702359416; bh=ON+I3aMlMURdwbFVY/PEcjSxe/yrB72zaX/U3ffZm8o=; h=Date:From:To:Subject; b=pGnYO6Bsvit8p07o2zOCdilreTLu+9k6+ewYpySOsIQnlv+2TtLo3nVANrguXmjMH vDEcNCfjOVqNUyx2y2Kxua7B/YUpS0bi+Y9jiAe+P/aHvoP+QWA7GquR1srhvLPMXW o9leWfm1Yc1vYSt5ZyXoARKbG3ABNQeEvWAai31SixwnMPUs6Q7Zf7aizKTDyLA16P g2JXmw8VKhnwrSDVYih8xR9svLgyNoAdkE0s4ZU9YhXx3KFEr/dRgqQyLRVytZ391e /qhGJvnwq9ZYiwkszz6iYc6sbwT40LqUlER99Lt4Rz26yYXxmZz5SrUfKVh7HF1WDe RGB8c14JvxWHQ== Received: from kylheku.com ([70.79.182.7]) by cmsmtp with ESMTPSA id CvRvrpsrnMsNfCvRvr1EdD; Tue, 12 Dec 2023 05:36:56 +0000 Authentication-Results: ; auth=pass (PLAIN) smtp.auth=kkylheku@shaw.ca X-Authority-Analysis: v=2.4 cv=KJNJsXJo c=1 sm=1 tr=0 ts=6577f178 a=pMSlDXUwMa7SJ1EIez8PdQ==:117 a=pMSlDXUwMa7SJ1EIez8PdQ==:17 a=xqWC_Br6kY4A:10 a=kj9zAlcOel0A:10 a=e2cXIFwxEfEA:10 a=ejknuMXFUDtTWE1PagcA:9 a=CjuIK1q_8ugA:10 Received: from localhost ([::1] helo=mail.kylheku.com) by kylheku.com with esmtp (Exim 4.94.2) (envelope-from ) id 1rCvRt-001ZI4-W9 for bug-guix@gnu.org; Mon, 11 Dec 2023 21:36:54 -0800 MIME-Version: 1.0 Date: Mon, 11 Dec 2023 21:36:53 -0800 From: Kaz Kylheku To: bug-guix@gnu.org Subject: txr: certain string substitution in recipe obsolete. User-Agent: Roundcube Webmail/1.4.15 Message-ID: <8210feeb4474f274a99584c85b768125@kylheku.com> X-Sender: kaz@kylheku.com Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-CMAE-Envelope: MS4xfPj2ZfAmpK4bENx9cBGM+jEBFdRS242JOqjIvl6hT8973g55IokkD3ChGyBGfstor8PcompNatrcrX9h6WMGcrzHWZKn+TshZAprmXaBri7U7GJrRcgq XK/gKOC6Y6/baowqCsSabacHx4HozEpwqaZzSQQ4SxD/RIG68CmTgS5J Received-SPF: pass client-ip=3.97.99.33; envelope-from=kkylheku@shaw.ca; helo=omta002.cacentral1.a.cloudfilter.net X-Spam_score_int: -24 X-Spam_score: -2.5 X-Spam_bar: -- X-Spam_report: (-2.5 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_EF=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.25, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.2 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, In the recipe for txr (in gnu/packages/lisp.scm), this is not needed any more: (substitute* "genman.txr" ;; Exit from genman.txr before it tries to write to ;; stdlib/doc-syms.tl, which is anyway kept up to date ;; with each release (and is already compiled to ;; stdlib/doc-sym [...] Content analysis details: (1.2 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.2 HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail domains are different -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: submit 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: 0.2 (/) Hi, In the recipe for txr (in gnu/packages/lisp.scm), this is not needed any more: (substitute* "genman.txr" ;; Exit from genman.txr before it tries to write to ;; stdlib/doc-syms.tl, which is anyway kept up to date ;; with each release (and is already compiled to ;; stdlib/doc-syms.tlo when genman.txr is run). (("^@\\(output \"stdlib/doc-syms\\.tl\"\\).*" line) (string-append "@(do (exit))\n" line))))) The doc doc-syms mechanism was removed in 292, so the pattern will not match. Cheers ... From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 14 07:23:30 2023 Received: (at 67792-done) by debbugs.gnu.org; 14 Dec 2023 12:23:30 +0000 Received: from localhost ([127.0.0.1]:48733 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rDkkU-0000lI-6u for submit@debbugs.gnu.org; Thu, 14 Dec 2023 07:23:30 -0500 Received: from mout02.posteo.de ([185.67.36.66]:45509) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rDkkQ-0000kt-QP for 67792-done@debbugs.gnu.org; Thu, 14 Dec 2023 07:23:28 -0500 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 9D6FB240103 for <67792-done@debbugs.gnu.org>; Thu, 14 Dec 2023 10:55:19 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1702547719; bh=/GAoinmuNCX11/4+rTFN+kBKl3FEd6O/C0YNYMHby24=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:From; b=l40mB4YcAse9zcEyChwDB4XRzW+jDLs498pPGrgQigBPnY4DchuG4ra6BIvkNw85n P0G1LslfMAHgzbkneUmEDNoMlGvZOepYQ21J56uMQDgaic0c0yFyNCw/RsKoIxqS2M B4H9srYfaARhlRvHvcVH+O+PdCIU5H6sSEJMZrdjAeaAtfaOvxaTf61a1uA4DuQnBS JRBj1jVtMt02fe0Bh9B0IZFh6dIPW+kkGM9WG+od2L04W7MHLArijvA06L1vNQx/GH FhJNip3xwnwnhu7PUvqF3yBkmW4/ydzQ2NtyIvsRmwrkOa7fOLocvdZaRlxGaFLFtC IB1CsbRY9HPAA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4SrSQG4dlpz6twb; Thu, 14 Dec 2023 10:55:18 +0100 (CET) References: <8210feeb4474f274a99584c85b768125@kylheku.com> From: Guillaume Le Vaillant To: Kaz Kylheku Subject: Re: bug#67792: txr: certain string substitution in recipe obsolete. Date: Thu, 14 Dec 2023 09:53:48 +0000 In-reply-to: <8210feeb4474f274a99584c85b768125@kylheku.com> Message-ID: <87fs05ds6y.fsf@kitej> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 67792-done Cc: 67792-done@debbugs.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: -3.3 (---) --=-=-= Content-Type: text/plain Fixed in ac61e9705fb8c450c6cd0c1731fbb1b909c1f944. Thanks. --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIUEAREKAC0WIQTLxZxm7Ce5cXlAaz5r6CCK3yH+PwUCZXrRBQ8cZ2x2QHBvc3Rl by5uZXQACgkQa+ggit8h/j/nNQD+Mmc0FZmXafNxqsII22IzmG5FE8rA2xrg5zDV sF5jLCkA/iLPo790uDXJe6e19lbJcwdL9of2sjW43q/N2p5nip7U =ALYg -----END PGP SIGNATURE----- --=-=-=-- From unknown Fri Aug 15 20:05:08 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 12 Jan 2024 12:24:10 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator