From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 01 21:57:24 2022 Received: (at submit) by debbugs.gnu.org; 2 Dec 2022 02:57:24 +0000 Received: from localhost ([127.0.0.1]:43498 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p0wEu-00054x-Cw for submit@debbugs.gnu.org; Thu, 01 Dec 2022 21:57:24 -0500 Received: from lists.gnu.org ([209.51.188.17]:35902) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p0wEt-00054p-By for submit@debbugs.gnu.org; Thu, 01 Dec 2022 21:57: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 1p0wEr-0006GL-Tk for guix-patches@gnu.org; Thu, 01 Dec 2022 21:57:22 -0500 Received: from mout-p-102.mailbox.org ([80.241.56.152]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1p0wEn-0007Op-Ml for guix-patches@gnu.org; Thu, 01 Dec 2022 21:57:21 -0500 Received: from smtp102.mailbox.org (smtp102.mailbox.org [10.196.197.102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4NNczk17sPz9sRl for ; Fri, 2 Dec 2022 03:57:06 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1669949826; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=oCc+/PKkxECUuG/CILxI0HnhpIswWm91BeVmwAWoAk0=; b=s+UBXRghSpjClIj/amTFqLjTCsMw4SY/iWJBRApsIqhOhStdrfpAJr7iXKmj/JwG1V2F/i +KKzybxa5oqnrP84pDj4q1Op26chIgUpMf8p4996zyjMbdvsY06pm01FbgW89RwIkFST3S Ij855VKGnRqjDTqc4NHLzciVhE5ry5umz3xYql/Ib1nvze7sTIb76KP8/oZeQxb0T95s47 K2DO/d4eb6DuOmQKVF+ug/YAan/Yn4iwIWUsT/Fobi9Msqpj3JBtbnqzdJQc0bnb6rVFXR 6o8ruBGunCdX//4hdjmMwrYjB0bEs7sd948NmrtePNIJXaOmAfM2GCgCvdQHuw== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1669949822; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=oCc+/PKkxECUuG/CILxI0HnhpIswWm91BeVmwAWoAk0=; b=F9rXdkQrtC6tkfDOkQTn1n7WchoLFKfhtEBy/6O1WptEZSD4lxd9nm4k/6oln1cxnC1lw1 QYZqSj6q7LgqTDCeNYMhyMw1DMlPaMM2W9MCkduNc1EMAh2czkzN4DPfV4LqQsFd9HGei/ AkAFhct9qMN9I994DgstsGhUeRqor5Spo7c3ZpuDLlrbLLTQEWY+fh5qeMIVGnZ8k3W63L PRC388B5xszzEC0YvqybxrvAEsulMjqiSeC7wTu99adw9TNA1GhM3xe4FBgnuDvXsxWkqF hhiT/cj5VB1z3GmfUvfnuzFNbqabW+rZix1c15SY13n29ou+eda6unApWeufIw== To: guix-patches@gnu.org Subject: [PATCH] scripts: repl: Add --interactive and --list-types flags. Date: Fri, 2 Dec 2022 02:56:41 +0000 Message-Id: <20221202025641.9318-1-antero@mailbox.org> MIME-Version: 1.0 X-Debbugs-Cc: zimon.toutoune@gmail.com X-Debbugs-Cc: dev@jpoiret.xyz X-Debbugs-Cc: mail@cbaines.net X-Debbugs-Cc: rekado@elephly.net X-Debbugs-Cc: othacehe@gnu.org X-Debbugs-Cc: ludo@gnu.org Content-Transfer-Encoding: 8bit X-MBO-RS-ID: 3cf16a21c9518df9c62 X-MBO-RS-META: jzboa7j6j9jfjpg86fcpfq69a1i99h7q Received-SPF: pass client-ip=80.241.56.152; envelope-from=antero@mailbox.org; helo=mout-p-102.mailbox.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Antero Mejr 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: -2.3 (--) * guix/scripts/repl.scm (guix-repl): Honor -i, --interactive flag. (%options): Add -i/--interactive and --l/--list-types. --- guix/scripts/repl.scm | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm index 50d18c7760..eac3d7264e 100644 --- a/guix/scripts/repl.scm +++ b/guix/scripts/repl.scm @@ -52,12 +52,19 @@ (define %options (option '(#\t "type") #t #f (lambda (opt name arg result) (alist-cons 'type (string->symbol arg) result))) + (option '(#\l "list-types") #f #f + (lambda (opt name arg result) + (display (string-join '("guile" "machine") "\n" 'suffix)) + (exit 0))) (option '("listen") #t #f (lambda (opt name arg result) (alist-cons 'listen arg result))) (option '(#\q) #f #f (lambda (opt name arg result) (alist-cons 'ignore-dot-guile? #t result))) + (option '(#\i "interactive") #f #f + (lambda (opt name arg result) + (alist-cons 'interactive? #t result))) (option '(#\L "load-path") #t #f (lambda (opt name arg result) ;; XXX: Imperatively modify the search paths. @@ -78,9 +85,15 @@ (define (show-help) -q inhibit loading of ~/.guile")) (newline) (display (G_ " + -i, --interactive launch REPL after evaluating FILE")) + (newline) + (display (G_ " -L, --load-path=DIR prepend DIR to the package module search path")) (newline) (display (G_ " + -l, --list-types display REPL types and exit")) + (newline) + (display (G_ " -h, --help display this help and exit")) (display (G_ " -V, --version display version information and exit")) @@ -190,7 +203,7 @@ (define script ;; file in %LOAD-PATH. Thus, pass (getcwd) instead of ".". (load-in-vicinity (getcwd) (car script))))) - (when (null? script) + (when (or (null? script) (assoc-ref opts 'interactive?)) ;; Start REPL (let ((type (assoc-ref opts 'type))) (call-with-connection (assoc-ref opts 'listen) -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 01 22:36:14 2022 Received: (at 59754) by debbugs.gnu.org; 2 Dec 2022 03:36:14 +0000 Received: from localhost ([127.0.0.1]:43675 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p0wqT-0005R0-Nu for submit@debbugs.gnu.org; Thu, 01 Dec 2022 22:36:13 -0500 Received: from mout-p-201.mailbox.org ([80.241.56.171]:46640) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p0wqR-0005Qt-1F for 59754@debbugs.gnu.org; Thu, 01 Dec 2022 22:36:12 -0500 Received: from smtp102.mailbox.org (smtp102.mailbox.org [10.196.197.102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-201.mailbox.org (Postfix) with ESMTPS id 4NNdrb5ncMz9sRK for <59754@debbugs.gnu.org>; Fri, 2 Dec 2022 04:35:59 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1669952159; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=oQbC4QQNfTvUbFMm0h2ubXeQIq4o8VmvRlJL9RmxD1c=; b=PQqi1MZIDf5geSQ4/1M4vs3WYWh5NDUUal6IgfPZdcNgZtoSuHbBomyEwYBRRLT2ieszgH wi4BT2kGu47QDUTRqNOkMVs30KZ1IUGpVwNQEKtDpe0hc/gF1PuOsVePJFvexxJ/LeuBnJ F+4mBzmfDpeweWqD3b6T371gLbU9eKFYp+ftj99D+Arki1dSZj7RPfbv0pOXWAbwYyZlVy iXx614CpXCJvxGMY8boVZkdAyzufxKYvuUd30TWtSEXZym0DQIdw1EKyot5uxO6oA5/QTQ O7QScNueSu/ydl3LRUjOFMyeqDMgPW3ofFnkwkkcjwyBYD+3ri39PL69mV/4zA== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1669952155; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=oQbC4QQNfTvUbFMm0h2ubXeQIq4o8VmvRlJL9RmxD1c=; b=JYrYtMgSef31TrZZd1LEpkNJGwKbk0MP4QE/FL2jfzdOt1YwFLvhuxMSn21/8YRrR6j16+ Qd9flsMlvcO1v6DZCBDY5+Bfpf9wMt47vbCWrDIboez91WXyZqRf/Cl8/zur40wcY8I3AN MecPpU96TrrJbcxNk+geOSe7NisFJr4rSKuCVSg19H03HUkZWdQv5paqwyfpaHElUgmxIn PCBiu2E76igN7Uk9ponyindPfbuKCOUGT/8h/vyj1SRboEKT4E8nTTuPc4duKwu91EodJh O1VjYGNkBJcfR6B6px2o+6wSwq8JiF8bbCvl9LNB2VO0QUljUcVf6anL6DcpVQ== To: 59754@debbugs.gnu.org Subject: [PATCH] doc: Add new flag information to REPL section. Date: Fri, 2 Dec 2022 03:35:42 +0000 Message-Id: <20221202033542.1849-1-antero@mailbox.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-MBO-RS-META: agjtwuzzf6yu5thp6bfm9qdhkdx3acpn X-MBO-RS-ID: 3ce671b863abc6430c1 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 59754 Cc: Antero Mejr 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.7 (-) * doc/guix.texi (Invoking guix repl): Add new flag information for --interactive and --list-types. --- doc/guix.texi | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/doc/guix.texi b/doc/guix.texi index 47b805dc7f..ec3cd8127c 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -11992,6 +11992,14 @@ lines at the top of the script: @code{!#} @end example +To make a script that launches an interactive REPL directly from the +shell, use the @code{--interactive} flag: + +@example +@code{#!/usr/bin/env -S guix repl --interactive} +@code{!#} +@end example + Without a file name argument, a Guile REPL is started, allowing for interactive use (@pxref{Using Guix Interactively}): @@ -12044,6 +12052,15 @@ Add @var{directory} to the front of the package module search path This allows users to define their own packages and make them visible to the script or REPL. +@item --interactive +@itemx -i +Launch the interactive REPL after @var{FILE} is executed. + +@item --list-types +@itemx -l +Display the @var{TYPE} options for @command{guix repl --type=TYPE} and +exit. + @item -q Inhibit loading of the @file{~/.guile} file. By default, that configuration file is loaded when spawning a @code{guile} REPL. -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 02 11:09:50 2022 Received: (at submit) by debbugs.gnu.org; 2 Dec 2022 16:09:50 +0000 Received: from localhost ([127.0.0.1]:47498 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p18bl-0006yB-LF for submit@debbugs.gnu.org; Fri, 02 Dec 2022 11:09:49 -0500 Received: from lists.gnu.org ([209.51.188.17]:55874) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p18bg-0006xq-Uu for submit@debbugs.gnu.org; Fri, 02 Dec 2022 11:09:48 -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 1p18bg-0006ru-Nz for guix-patches@gnu.org; Fri, 02 Dec 2022 11:09:44 -0500 Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1p18bf-0003GT-4T; Fri, 02 Dec 2022 11:09:44 -0500 Received: by mail-wm1-x331.google.com with SMTP id ay27-20020a05600c1e1b00b003d070f4060bso4649377wmb.2; Fri, 02 Dec 2022 08:09:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=AtR384xRAGFdzUewIzEBiXkOlhPonD5904Dmg/CXu3k=; b=quuxigITXmeJyCOH4I5GI9HWWt1iHiaTaCXhvr0ORNBnpY9kNhBX55SGJ4pAjPMED8 V0KqSptucfQYiCWJfwQnS3qPJ92b09OfHoeGaawVIY+T6b3uyKPI3QJ84P7CB8n4wN+P zOlj7wp6PvrvygnV2FmkKWNBQKVWnozIxJoomUAjHR4MOlCkMz46oz+LxxQsymkbLNu8 BURtWmZ8jRB0XwNLf3/EjfPevQMkLVrUwO0D79umGC4UKBoof2YTVKRvujM1HhATr8Ep aEKvHLR99eOed/uLMNsNtOVx8SuUgmSVgoar5oLE0l8bPZiMGcQeB6Y610hY2+Yy4l/D YVjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=AtR384xRAGFdzUewIzEBiXkOlhPonD5904Dmg/CXu3k=; b=woKiPkBvvZtNzDWAcNKaGL2SE/AoEJO0651V7p0p39PugLKfr8VQEfGGm5S7TFQe3D L0V1bZMLL4XZ3mFHyrwBJ9WW9kVY2/8vo8jGOzwDXnAV5L5748Fe3bH226SIbNMft99j UL3hT927frdJ52k0XwjGvgzmM5H1AimvDXU0mRZDGDRA7y8sBJFbRlN1brrEF3iCsMsM 8zl2iqHY92VDuhAzo+Qi8iFcujrNe6BhtVxAFPhDg19h8gfPxNeT+BEPy9WG264pK5w/ eNWgdLxzSHXuXOrWhY7lgewBtxRzmDh12gRr7Augh9WkxQ7BNi+/lgsbeUtnN3kMTN/0 y4ag== X-Gm-Message-State: ANoB5pnpt4w7xESoTxzeco+mwwuupeLGAEZzpkZji+VS6i58siElG370 8NnR65CEihGrJmLJKXhisInbGgrm7j4= X-Google-Smtp-Source: AA0mqf5XREtbGSKSVRabKfTDiYUnzSX+RJ/615myRynHRs6rjq17BR5Hx0HeZlK5McHyFNYFFabRFw== X-Received: by 2002:a05:600c:3587:b0:3cf:a9c2:2b04 with SMTP id p7-20020a05600c358700b003cfa9c22b04mr52248112wmq.152.1669997381570; Fri, 02 Dec 2022 08:09:41 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id o12-20020a5d670c000000b002424b695f7esm881336wru.46.2022.12.02.08.09.41 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 02 Dec 2022 08:09:41 -0800 (PST) From: zimoun To: Antero Mejr via Guix-patches via , 59754@debbugs.gnu.org Subject: Re: [bug#59754] [PATCH] scripts: repl: Add --interactive and --list-types flags. In-Reply-To: <20221202025641.9318-1-antero@mailbox.org> References: <20221202025641.9318-1-antero@mailbox.org> Date: Fri, 02 Dec 2022 16:46:56 +0100 Message-ID: <87tu2dreof.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2a00:1450:4864:20::331; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x331.google.com 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: ludo@gnu.org, Antero Mejr 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: -2.3 (--) Hi, Thanks, nice! On Fri, 02 Dec 2022 at 02:56, Antero Mejr via Guix-patches via wrote: > * guix/scripts/repl.scm (guix-repl): Honor -i, --interactive flag. > (%options): Add -i/--interactive and --l/--list-types. -^ Typo The patch LGTM, minor three comments. 1. I would not use the shortkey -l; only the long one. 2. I would move --list-types right before -t/--type --8<---------------cut here---------------start------------->8--- --list-types display REPL types and exit -t, --type=TYPE start a REPL of the given TYPE --listen=ENDPOINT listen to ENDPOINT instead of standard input -q inhibit loading of ~/.guile -i, --interactive launch REPL after evaluating FILE -L, --load-path=DIR prepend DIR to the package module search path -h, --help display this help and exit -V, --version display version information and exit --8<---------------cut here---------------end--------------->8--- 3. I would split the addition of --list-types and --interactive in two separated commits. But for each option, I would also change the manual with the same commit. Else, please squash this submission. :-) Cheers, simon From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 02 20:10:12 2022 Received: (at 59754) by debbugs.gnu.org; 3 Dec 2022 01:10:12 +0000 Received: from localhost ([127.0.0.1]:49988 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1H2h-0008LV-L9 for submit@debbugs.gnu.org; Fri, 02 Dec 2022 20:10:12 -0500 Received: from mout-p-102.mailbox.org ([80.241.56.152]:46124) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1H2d-0008Kx-NR for 59754@debbugs.gnu.org; Fri, 02 Dec 2022 20:10:09 -0500 Received: from smtp202.mailbox.org (smtp202.mailbox.org [10.196.197.202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-102.mailbox.org (Postfix) with ESMTPS id 4NPBYb4k6Rz9sRG for <59754@debbugs.gnu.org>; Sat, 3 Dec 2022 02:09:55 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1670029795; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=EFq1AHk4y2e9I6S6mQUItlF4RqcRaaKg1j195bv9GKU=; b=jRqLIcbR+OuSpjv3juB8fD5t02CVyIIpFQS7QRjDuDDX++vfwDhY2zmys+E78b2ez0VAVg C4sOmdi37s1rWVmnNOce+ygWKlCMbKqVHOs3QTfum4GF17rzUzfg13UzoFDfs2VOASheou cEd7VJhG/fpxUEwKpGx8uZzlCycX2gWTqWQI1Hq7zn5Pyb99cOcRMtozRpTTw+ekuC8r4w OJSvZSTmQRUwF1UnwfV6M4J1xH+wgZIBsUlHX0x6NVOGwxA2j0ka/m4LSvRQjixBq58neV uA5HjwNleVuptitqBM7nQUEo/tBucayvtrEq4Dmqhnb7+MhD08ZsCNDFg4mAMg== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1670029791; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=EFq1AHk4y2e9I6S6mQUItlF4RqcRaaKg1j195bv9GKU=; b=H13eWdas3u4Faybl67wPxpnEi1xHUyX0wlQk2ZpkJuEVwo20GRMHBvFbwTNEPZptILaGt0 vZiAtcZVzK/TjxGVedRKrOFbOKdy8i8wC8AGMcvPugp90qkl8/pZvqX4FoXM1XAz3g+1SP gp8kc9mlGenOAN7fepgh1kCbEU3sgKb2GQ/CrMPCtMF3Fk2vhC3udTEK6soeyT8PyMUwMA 5Af1J0ZqDbm0Eu9XVObU8rBYV+lGnklVVAO4Th9KkbxhV4TJbBMEhyDhWN/brfvQSr347a Vwu5FW+8h7p4Lb2GRHxkUWMXDSQPF3Vy+wc9Cn4GFpRWyIuAhIx6adxcWl3DCA== To: 59754@debbugs.gnu.org Subject: [PATCH 1/2] scripts: repl: Add --list-types flag. Date: Sat, 3 Dec 2022 01:09:36 +0000 Message-Id: <20221203010937.2332-1-antero@mailbox.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-MBO-RS-ID: ad8a5fd20fab7c8a285 X-MBO-RS-META: qzeaiob6rwz6j1n4gn7p1qf8odyhxwj7 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 59754 Cc: Antero Mejr 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.7 (-) * guix/scripts/repl.scm (%options): Add --list-types. * doc/guix.texi (Invoking guix repl): Add documentation for --list-types. --- doc/guix.texi | 4 ++++ guix/scripts/repl.scm | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/doc/guix.texi b/doc/guix.texi index 47b805dc7f..cf9e6f640d 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -12011,6 +12011,10 @@ of Guix. The available options are as follows: @table @code +@item --list-types +Display the @var{TYPE} options for @command{guix repl --type=TYPE} and +exit. + @item --type=@var{type} @itemx -t @var{type} Start a REPL of the given @var{TYPE}, which can be one of the following: diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm index 50d18c7760..0ec62786e9 100644 --- a/guix/scripts/repl.scm +++ b/guix/scripts/repl.scm @@ -52,6 +52,10 @@ (define %options (option '(#\t "type") #t #f (lambda (opt name arg result) (alist-cons 'type (string->symbol arg) result))) + (option '("list-types") #f #f + (lambda (opt name arg result) + (display (string-join '("guile" "machine") "\n" 'suffix)) + (exit 0))) (option '("listen") #t #f (lambda (opt name arg result) (alist-cons 'listen arg result))) @@ -70,6 +74,8 @@ (define (show-help) (display (G_ "Usage: guix repl [OPTIONS...] [-- FILE ARGS...] In the Guix execution environment, run FILE as a Guile script with command-line arguments ARGS. If no FILE is given, start a Guile REPL.\n")) + (display (G_ " + --list-types display REPL types and exit")) (display (G_ " -t, --type=TYPE start a REPL of the given TYPE")) (display (G_ " -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 02 20:10:16 2022 Received: (at 59754) by debbugs.gnu.org; 3 Dec 2022 01:10:16 +0000 Received: from localhost ([127.0.0.1]:49993 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1H2m-0008Lj-4Q for submit@debbugs.gnu.org; Fri, 02 Dec 2022 20:10:16 -0500 Received: from mout-p-101.mailbox.org ([80.241.56.151]:57560) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1H2i-0008LL-Ra for 59754@debbugs.gnu.org; Fri, 02 Dec 2022 20:10:14 -0500 Received: from smtp202.mailbox.org (smtp202.mailbox.org [10.196.197.202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-101.mailbox.org (Postfix) with ESMTPS id 4NPBYl0jxZz9sQD for <59754@debbugs.gnu.org>; Sat, 3 Dec 2022 02:10:03 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1670029803; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=1AU0GE+RCcx8cgEO9gmVOjkaGomeUtyAJMm7LWLtAo8=; b=mNHJ6so/sNtt2zfb65rybkbcIpVHHcZJup+7NMklg5eO6SdUcTTxsrp8WhCJYoHxquCMnK eL6hxDcRbrEjdhNPrA+uydLNA+8hwgpLvuOMjviOG1HCgcdHU7fJ9jJDh27SDtZQljt/7k MxYrTV/WVA4+F+0uHpGEsUSIb1n+TPHU9VBJxwpf0ZjHDViFwsDIm0ulLGPXW+Gcmt6mL0 YB+ri3/5NjT7IVA5nYbbqKH5vUW9jOqQRcKlyikrkja2d4KTNLwkdNtbzRyEcT5v1AfpX9 KQLEIA9cPyA1pH/bYoMNBg56cORufO0JeMqgKGwAqpHDmrmSvomQ8fZ+cdYwbQ== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1670029798; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=1AU0GE+RCcx8cgEO9gmVOjkaGomeUtyAJMm7LWLtAo8=; b=IoHfENZocHkwSsB7895dMeFFZCW1t8aBV14kvj0/yHKY0L1nH9DVnVK58TzHURWhSnf2mZ gYuZDFzNC4Sr5GtaJ/va0nsALkUy2eExKjRlO2MxWz5UdV1i7Aw/BW9mtWs2egMrmFMzB1 4kF/kHZTbUCu8uv+aL3gfI/+drTksXfTVjx8IryknfFDTmKfHAXXOZqzhqP8nSGszWpwiA N6xbTx7FDYImbqzfkk+PrV5IgqG+MV4qcmokQzpsjxP+o+m2ts81zAYl082xgjAGZgkvf6 1+yNH1bnbZ6hRReuk/RZeLQtkm4lneeOdiIIID2Cel/ZeN5zmMBcDu+nJVtQvA== To: 59754@debbugs.gnu.org Subject: [PATCH 2/2] scripts: repl: Add -i, --interactive flag. Date: Sat, 3 Dec 2022 01:09:37 +0000 Message-Id: <20221203010937.2332-2-antero@mailbox.org> In-Reply-To: <20221203010937.2332-1-antero@mailbox.org> References: <20221203010937.2332-1-antero@mailbox.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-MBO-RS-META: r9pbwi8h79mqw8z3bdmaubzgd6765qsr X-MBO-RS-ID: abe8eacb05f5ef2b6c6 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 59754 Cc: Antero Mejr 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.7 (-) * guix/scripts/repl.scm (%options): Add -i, --interactive flag. (guix-repl): Honor -i, --interactive flag. * doc/guix.texi (Invoking guix repl): Add documentation for -i, --interactive. --- doc/guix.texi | 12 ++++++++++++ guix/scripts/repl.scm | 8 +++++++- 2 files changed, 19 insertions(+), 1 deletion(-) diff --git a/doc/guix.texi b/doc/guix.texi index cf9e6f640d..3391c7a66c 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -11992,6 +11992,14 @@ lines at the top of the script: @code{!#} @end example +To make a script that launches an interactive REPL directly from the +shell, use the @code{--interactive} flag: + +@example +@code{#!/usr/bin/env -S guix repl --interactive} +@code{!#} +@end example + Without a file name argument, a Guile REPL is started, allowing for interactive use (@pxref{Using Guix Interactively}): @@ -12040,6 +12048,10 @@ Accept connections on localhost on port 37146. Accept connections on the Unix-domain socket @file{/tmp/socket}. @end table +@item --interactive +@itemx -i +Launch the interactive REPL after @var{FILE} is executed. + @item --load-path=@var{directory} @itemx -L @var{directory} Add @var{directory} to the front of the package module search path diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm index 0ec62786e9..787c63d48e 100644 --- a/guix/scripts/repl.scm +++ b/guix/scripts/repl.scm @@ -62,6 +62,9 @@ (define %options (option '(#\q) #f #f (lambda (opt name arg result) (alist-cons 'ignore-dot-guile? #t result))) + (option '(#\i "interactive") #f #f + (lambda (opt name arg result) + (alist-cons 'interactive? #t result))) (option '(#\L "load-path") #t #f (lambda (opt name arg result) ;; XXX: Imperatively modify the search paths. @@ -84,6 +87,9 @@ (define (show-help) -q inhibit loading of ~/.guile")) (newline) (display (G_ " + -i, --interactive launch REPL after evaluating FILE")) + (newline) + (display (G_ " -L, --load-path=DIR prepend DIR to the package module search path")) (newline) (display (G_ " @@ -196,7 +202,7 @@ (define script ;; file in %LOAD-PATH. Thus, pass (getcwd) instead of ".". (load-in-vicinity (getcwd) (car script))))) - (when (null? script) + (when (or (null? script) (assoc-ref opts 'interactive?)) ;; Start REPL (let ((type (assoc-ref opts 'type))) (call-with-connection (assoc-ref opts 'listen) -- 2.38.1 From debbugs-submit-bounces@debbugs.gnu.org Fri Dec 02 20:12:54 2022 Received: (at submit) by debbugs.gnu.org; 3 Dec 2022 01:12:54 +0000 Received: from localhost ([127.0.0.1]:50017 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1H5K-0008NC-0N for submit@debbugs.gnu.org; Fri, 02 Dec 2022 20:12:54 -0500 Received: from lists.gnu.org ([209.51.188.17]:38284) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1p1H5H-0008My-Rs for submit@debbugs.gnu.org; Fri, 02 Dec 2022 20:12:52 -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 1p1H5H-00005t-Ia for guix-patches@gnu.org; Fri, 02 Dec 2022 20:12:51 -0500 Received: from mout-p-101.mailbox.org ([80.241.56.151]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1p1H5F-0007Uh-OY; Fri, 02 Dec 2022 20:12:51 -0500 Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-101.mailbox.org (Postfix) with ESMTPS id 4NPBct3y4Lz9sZ1; Sat, 3 Dec 2022 02:12:46 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1670029966; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=jRbbB5engwG9UJwauInvtoRDcknZ+05EmFNMHJvYWWU=; b=pW49/NYNxeKKzFisAiz26kqpMBcLLD1w5TVV0KbJzNg9181KYMhSuocpC2labV+i9PLoHN My/ASbdVsbyG+nWciUZCg6rtz/LkwoxVIfJ7yZvFdNGPBmzPvwxKI6h8nYGdhWgmoeTAXV ZgVn7PhNMqhaXdDj5nr0/229Q2FfnL7Yp5LkE72CPIMFQWH79B8TVkKb/VsYH5TYVCCFiJ OK6ZaPJJXBqkOO/B0LxXNa8e51uXzbUODIu5ZScMUlE4mbPP+OVkYxSAkYA67BjGJpdXth n8YJP50zlxTDbF3QZx2x88N6pJrl+HhxhA7l27qjXzosTE9pg3+joWoBoge2dg== References: <20221202025641.9318-1-antero@mailbox.org> <87tu2dreof.fsf@gmail.com> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1670029964; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=jRbbB5engwG9UJwauInvtoRDcknZ+05EmFNMHJvYWWU=; b=N6P7ea0qqIzETi9WkcmpsUIcCcUmuIggykpdeWh/uhBCOPUCt9ZRkIwcJB/Vy4LQLA68g7 TddydFWDaNeWC/kVdskDRvOwVRsdHrvTW6PBrFuvRgS6dGUz8ky1XNecDoA82bzfe2af29 hoDwZt3y2FEq4OUqHDh87Gt2Rvy8EekOFQIqoTzS+MzOq+G3uzABfJQNAreaIUDAlnkgw9 c7xMke8KZ+LTMCsuGQtSI19BOWrv4YJpDFDYwpCi3/TXa19nqDSYrq1/dtjZroz3uKPtaw 2N2tmxmzzdNM5qjpSkEi9S35EaPULeV4zCwRLQrhtIeOebxwQRr3CsT9LKa25A== From: Antero Mejr To: zimoun Subject: Re: [bug#59754] [PATCH] scripts: repl: Add --interactive and --list-types flags. Date: Sat, 03 Dec 2022 01:10:14 +0000 In-reply-to: <87tu2dreof.fsf@gmail.com> Message-ID: <87r0xhb88m.fsf@mailbox.org> MIME-Version: 1.0 Content-Type: text/plain X-MBO-RS-ID: 2a0e01ca1fe983d2572 X-MBO-RS-META: 1drt9j6c8tejo5yzggujtdew8remtdrx X-Rspamd-Queue-Id: 4NPBct3y4Lz9sZ1 Received-SPF: pass client-ip=80.241.56.151; envelope-from=antero@mailbox.org; helo=mout-p-101.mailbox.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: ludo@gnu.org, Antero Mejr , 59754@debbugs.gnu.org, Antero Mejr via Guix-patches via 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: -2.3 (--) zimoun writes: > Hi, > > Thanks, nice! > > The patch LGTM, minor three comments. Split up the commits and made the suggested fixes. Thanks for the review! From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 16 09:03:52 2023 Received: (at 59754-done) by debbugs.gnu.org; 16 Jan 2023 14:03:52 +0000 Received: from localhost ([127.0.0.1]:60931 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pHQ5X-0005c7-NU for submit@debbugs.gnu.org; Mon, 16 Jan 2023 09:03:51 -0500 Received: from mail-ot1-f54.google.com ([209.85.210.54]:34653) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pHQ5V-0005br-G3 for 59754-done@debbugs.gnu.org; Mon, 16 Jan 2023 09:03:49 -0500 Received: by mail-ot1-f54.google.com with SMTP id k7-20020a056830168700b0067832816190so16160371otr.1 for <59754-done@debbugs.gnu.org>; Mon, 16 Jan 2023 06:03:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=/yrL1QcPt0KWb+mYsf/yXmK5GHQwfUPymDT9v9h65Kc=; b=ef1X23wbzJ0o79PJA6HZS+7V4pGE4JZMKE2QjzObUkm8XYYu4hXVcnTf6BrSHyyJm5 S9/yiS9RAkPdXpkdxf9yVHSb1Q00qxyQTM0hKff0HTuXsr0ZRxQ/P4eM/tqbHM8lrOYg CoYHlEcKtPug0z8BlJal4VXwEvhh+KRxrxg7BsmgruDy+8ZiuTJg93Rbyj9MWtjbezBV iFaYPBT+oyUVR8J5axGTWxwIYmxdOO7Rz5pmJbXo0Y3xc+5m7Vg0zkeWfOKjbvPXnYuA tTsAtlhld41RiKnsXKz3haWKDrjzs66ulqOvrhij66UN2G610rXAlqoTgsVcdT8/SD4Y sNKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=/yrL1QcPt0KWb+mYsf/yXmK5GHQwfUPymDT9v9h65Kc=; b=TWLkoAUp/3MFoDR4FrF554xXdTwCmBBQ0TNG5H5szMti1iHkcYwFEhyp1fPLCb9ZIG 3xsfAHIDUt0CnlScZcc6UzuN1p31u6PL7mGMnXJwOZhKPohHtVYbTpjRWfEi2yCrLfY1 gJ9s+lre/W/h3lOtgITwfh4//Wv2Btpzz3LFy3blWHnFIq4pzX537l9/tqvsTu+ICag5 f0UgW8n8rVlLmOOz7ZGkwO3HKoWSOgSwl6ym5mrNo3OgsGyyw7zsduLBwI2GeMe8CLpz q15HR+HOnAUV+RUd+8ShQnvtznQPTeRxuR88UxYgY0Be1Y6nVJFQs+hOVC9YT/AMRFMU MLbQ== X-Gm-Message-State: AFqh2kqt1EGr5fNU5q2pEpSB45RllzOAEk+BOorcar+qSFMhOlJKM/pL zbFvAvLSIfcP/pw7//uZcGs= X-Google-Smtp-Source: AMrXdXt50IZ/u66qFT9c3fWcPpquMfVwOOcciyrnpduqnGEKKJdX1N8TUUG3Qi3LCQeB4ELxlwPbdw== X-Received: by 2002:a05:6830:208d:b0:671:8a71:788b with SMTP id y13-20020a056830208d00b006718a71788bmr40052560otq.34.1673877823745; Mon, 16 Jan 2023 06:03:43 -0800 (PST) Received: from hurd (dsl-10-130-209.b2b2c.ca. [72.10.130.209]) by smtp.gmail.com with ESMTPSA id bv15-20020a05622a0a0f00b003a7e8ab2972sm14592382qtb.23.2023.01.16.06.03.42 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 16 Jan 2023 06:03:43 -0800 (PST) From: Maxim Cournoyer To: Antero Mejr Subject: Re: bug#59754: [PATCH] scripts: repl: Add --interactive and --list-types flags. References: <20221203010937.2332-1-antero@mailbox.org> <20221203010937.2332-2-antero@mailbox.org> Date: Mon, 16 Jan 2023 09:03:42 -0500 In-Reply-To: <20221203010937.2332-2-antero@mailbox.org> (Antero Mejr's message of "Sat, 3 Dec 2022 01:09:37 +0000") Message-ID: <87cz7ebmpt.fsf_-_@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 59754-done Cc: zimoun , 59754-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: -1.0 (-) Hello, Antero Mejr writes: > * guix/scripts/repl.scm (%options): Add -i, --interactive flag. > (guix-repl): Honor -i, --interactive flag. > * doc/guix.texi (Invoking guix repl): Add documentation for -i, --interactive. I've added your copyright to the guix.texi file and made a small adjustment, as shown below: --8<---------------cut here---------------start------------->8--- modified doc/guix.texi @@ -111,6 +111,7 @@ Copyright @copyright{} 2022 (@* Copyright @copyright{} 2022 John Kehayias@* Copyright @copyright{} 2022 Ivan Vilata-i-Balaguer@* Copyright @copyright{} 2023 Giacomo Leidi@* +Copyright @copyright{} 2022 Antero Mejr@* Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or @@ -12070,7 +12071,7 @@ Accept connections on the Unix-domain socket @file{/tmp/socket}. @item --interactive @itemx -i -Launch the interactive REPL after @var{FILE} is executed. +Launch the interactive REPL after @var{file} is executed. @item --load-path=@var{directory} @itemx -L @var{directory} --8<---------------cut here---------------end--------------->8--- And pushed! Thanks for the contribution and to Simon for the review! -- Thanks, Maxim From unknown Sat Jun 14 19:24:37 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 14 Feb 2023 12:24:11 +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