From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id KP4GLfW6xGKxGAAAbAwnHQ (envelope-from ) for ; Wed, 06 Jul 2022 00:28:05 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id sF4PLfW6xGI1AAEA9RJhRA (envelope-from ) for ; Wed, 06 Jul 2022 00:28:05 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 4C75E2E87E for ; Wed, 6 Jul 2022 00:28:05 +0200 (CEST) Received: from localhost ([::1]:58782 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o8r1Y-0000kn-E0 for larch@yhetil.org; Tue, 05 Jul 2022 18:28:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:50222) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o8r1K-0000kd-FL for guix-devel@gnu.org; Tue, 05 Jul 2022 18:27:50 -0400 Received: from mx1.dismail.de ([78.46.223.134]:33794) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o8r1H-0003PU-PH; Tue, 05 Jul 2022 18:27:50 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 59d1219a; Wed, 6 Jul 2022 00:27:40 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=date :message-id:from:to:cc:subject:in-reply-to:references :mime-version:content-type:content-transfer-encoding; s= 20190914; bh=riSQgF0kSaMHPKveusOOe17t1Wky62eEz6dOllv6w88=; b=Nor BUQEQyIxeG9YOhYLLMMjysqCL/uTEa2lrJgU5d/xDSSOnRfis2KnBVW4JC23hNZT kl5p+TLDQ4F9PKkLmmjAa8NyGEX7pazkA6kpw+PIVKvHC9TojV0Bj5pilV0L2mhm zKOtrle6ywkBBTSjLa06Hl39hTK4gOtSdChD38hrB9gt+8P7xmwqFbGGf9cBKjFy HwO/74I68+gy9sbwCJBADeBTtD5tHaMCEdDDmi9GBO+LcgBbm5jKNOxOycP06gm7 HV3CMuNompBAEhbTGkVxapyCa3aXo/rtnjX2DN8QXNLtXkauBFhKManEtsHWQr9G X00O5xZmn8XIHhFU0BQ== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 6d26d246; Wed, 6 Jul 2022 00:27:39 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id bd54141d; Wed, 6 Jul 2022 00:27:39 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 487b1323 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Wed, 6 Jul 2022 00:27:38 +0200 (CEST) Date: Tue, 5 Jul 2022 17:27:43 -0500 Message-ID: <20220705172743.GB3448@gac> From: jgart To: zimoun Cc: Tobias Geerinckx-Rice , guix-devel@gnu.org, Ludovic =?UTF-8?Q?Court=C3=A8s?= , Guix Devel Subject: Re: repl macro (metacommand?) for guix CLI (sub)commands In-Reply-To: <86tu7wxzpw.fsf@gmail.com> References: <20220703131112.GB5967@gac> <87mtdpau7y.fsf@gnu.org> <20220704132159.GC3017@gac> <86tu7wxzpw.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=78.46.223.134; envelope-from=jgart@dismail.de; helo=mx1.dismail.de 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, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1657060085; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=Dlb/pNgmr+0vK+L5Ov3OTp7Y+38ORddCgxf3IAA7u+A=; b=kLJZwFDy2FBee/znU0YBkjqi+9VPFGb1q3N1nKgW/IbhBZKlVV0w00CwuhJpZg0OCKtW34 99FULKqnGNpCg1gYk/aIU22KRQup7w1Uw+trXDIUPKANdSqz1akgi2zaVKBeB0gkMxgy4X YRJIOXQqLSks0ACvLZu9BctMk4kiZ0Db2Xnhb9RZSLZ8KI2MgIuPkXHc5FYlmz8OtNDfwJ GsuPB9bqFSQhsmlOpprbtySP5M4tteRSn+eB4+u9BRjvPOqL+NotBCYlU/DIGVfmaq8vv5 DSwu50tDQ/N0Ey+BaKkdpYLPbWarvQf72JdVKVOd52KeJsPpp3C83XNCYcw34w== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1657060085; a=rsa-sha256; cv=none; b=dUfjLhqEY96BdK4LlU1f6xqKbo0P4W2ai8sk7VWvv/QzQGJAe76qWd40L7L8hx8Uo1iU8l jakLQZTj/6VH8rRiMQ3WeuIwmzKl/6NuPkxU0Y+xNgRN3IqU9Q2w5mkr6veo8oA81wi8UU 8wLOn6yCQsFWLSEviZj14dXfCszsylYYQFEyVEoBaaVwsGbvGeHNheNoy+h5xNN6NHNjNL Xwet9Cfufh+rI18UEdpemTZZQCnKSr3cD7pro4nUL8s50Kev6boC3GEX48KtJAhLq0f004 5U8009gnZoZX19TY00o7MYDa0XLCYf8xwuEFgWtUtfSt8KP2KeevA+FLv3o3Rw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b="Nor BUQE"; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -3.05 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b="Nor BUQE"; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 4C75E2E87E X-Spam-Score: -3.05 X-Migadu-Scanner: scn1.migadu.com X-TUID: YnPJMnuXHlPe On Tue, 05 Jul 2022 00:47:07 +0200 zimoun wrote: > All that said, maybe it could be nice to extend the current > meta-commands of the REPL. What would be the need between the current > CLI and the current Scheme API? Hi, That's a good question! Maybe we should make a feature table and analyze what we currently have exposed to decide what we might want in the near future that we don't currently have. > Maybe all the ’leave’ and ’exit’ could be wrapped using an hypothetical > ’maybe-exit’ catching if it is called from REPL or not. I'll have to read more code. I was just imagining something like that could work. > Is it possible to detect if an interactive call? I was thinking to add > a global parameter in ’(guix scripts repl) and then this new > ’maybe-exit’ could check it; but I guess Guile provides a better > mechanism for checking interactiveness. Do you know if guile provides a way of checking that? Should we ask on the guile mailing list or should we read more code first to see what's currently provided? all best, jgart