From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id WPNdKbvir183VQAA0tVLHw (envelope-from ) for ; Sat, 14 Nov 2020 13:59:23 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id AMQlJbvir1+BZwAAbx9fmQ (envelope-from ) for ; Sat, 14 Nov 2020 13:59:23 +0000 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 181EE9405D1 for ; Sat, 14 Nov 2020 13:59:23 +0000 (UTC) Received: from localhost ([::1]:46984 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kdw5I-0008TL-DT for larch@yhetil.org; Sat, 14 Nov 2020 08:59:20 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:34786) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kdw50-0008T5-Pk for bug-guix@gnu.org; Sat, 14 Nov 2020 08:59:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:38591) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kdw50-0004Xp-GM for bug-guix@gnu.org; Sat, 14 Nov 2020 08:59:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kdw50-0005Ly-EX for bug-guix@gnu.org; Sat, 14 Nov 2020 08:59:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#44612: Read standard input in `guix repl' Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sat, 14 Nov 2020 13:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 44612 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Pierre Neidhardt Cc: 44612@debbugs.gnu.org X-Debbugs-Original-Cc: bug-guix@gnu.org, 44612@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.160536229920524 (code B ref -1); Sat, 14 Nov 2020 13:59:02 +0000 Received: (at submit) by debbugs.gnu.org; 14 Nov 2020 13:58:19 +0000 Received: from localhost ([127.0.0.1]:50137 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kdw4J-0005Ky-E7 for submit@debbugs.gnu.org; Sat, 14 Nov 2020 08:58:19 -0500 Received: from lists.gnu.org ([209.51.188.17]:35692) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kdw4I-0005Kr-Kx for submit@debbugs.gnu.org; Sat, 14 Nov 2020 08:58:18 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:34600) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kdw4I-0008NP-CJ for bug-guix@gnu.org; Sat, 14 Nov 2020 08:58:18 -0500 Received: from tobias.gr ([80.241.217.52]:51244) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kdw4E-0004Hg-H3 for bug-guix@gnu.org; Sat, 14 Nov 2020 08:58:17 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tobias.gr; s=2018; bh=4Wy0R50Xk5bnNPcEiiJj6VJOHhxCJwEq7SYOgdarzFs=; h=date:in-reply-to: references:subject:cc:to:from; b=ZJi2RHq1poeazXxwL6tmDrQnWqj52c5Pkfu97 0s2WRXfKoWglaXsljit5pIMa/vL0f4XRM59sf/ScPy8v+HeMSN0+qZx6t+HaO89oY2mSyJ DAVNwWT5dMlQkrQRgVaH5wrz+/SX4hXO/0PvZ9o3nAbhwuXq3Ms9FqndDcuJ1L8YPpSlHi 9zWh6J699Ws80gPZ3GZitYfNfHo5ATLT+F3gd4oK6ssstsKFB+6yDUAoP5sfQNl4nvxBiu hyrL1KVjSEFygQCZhWvSMHepRDDQuWwN87+N7Iy86amd4HeDcuFI3ueHnchlGUya4+OdST +kdg/gYl5O4DJH2EuAOMo0NVw== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 33667598 (TLSv1.2:ECDHE-ECDSA-AES256-GCM-SHA384:256:NO); Sat, 14 Nov 2020 13:58:14 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; References: <87h7ptzj8t.fsf@ambrevar.xyz> <87zh3l6lzk.fsf@nckx> <87h7ps8duy.fsf@ambrevar.xyz> <87lff46v32.fsf@nckx> <87sg9cxeif.fsf@ambrevar.xyz> In-reply-to: <87sg9cxeif.fsf@ambrevar.xyz> Date: Sat, 14 Nov 2020 14:58:08 +0100 Message-ID: <878sb459cf.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=80.241.217.52; envelope-from=me@tobias.gr; helo=tobias.gr X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/14 08:58:11 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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_MED=-2.3, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -2.4 (--) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" Reply-to: Tobias Geerinckx-Rice From: Tobias Geerinckx-Rice via Bug reports for GNU Guix X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=tobias.gr header.s=2018 header.b=ZJi2RHq1; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Spam-Score: -3.11 X-TUID: jZYvovNpciyC --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Pierre, Pierre Neidhardt =E5=86=99=E9=81=93=EF=BC=9A > and... it works! O.o Don't you hate it when that happens? Ban bug suicide. (Does that mean this one can be closed? Or retitled, if we want=20 to debug Nyxt? :-) > For future reference, it's also works in Common Lisp: > (uiop:run-program '("guix" "repl") :input s :output t=20 > :error-output nil)) Well, I stranded trying to import (or whatever the CL term is)=20 UIOP itself, but my Common Lisp-fu is hella weak. > However this brings me to another issue: the program output is=20 > prefixed > with the REPL welcome message which is printed to stdout. > > So ideally when we read from standard input we should not=20 > include the > welcome message. That's a question for Guile channels, but I totally agree. It's=20 annoying and nowhere near =E2=80=98an interactive mode=E2=80=99 as suggeste= d by=20 the GPL3. This is sensible: $ echo echo Hi. | bash Hi. $=20 This is not: $ echo '(display "Hi.\n")' | guile GNU Guile 3.0.2 Copyright (C) 1995-2020 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show=20 w'. This program is free software, and you are welcome to=20 redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. Hi. scheme@(guile-user)>=20 $ > Any clue how to do that? The following line in my ~/.guile does just that: (set! repl-welcome (const #t)) ...unfortunately, it doesn't work late: $ echo '(use-modules ((system repl common))) \ (set! repl-welcome (const #t))' | guix repl [shouty noises] $ It does not appear documented if and how you'd make Guile load a=20 different (Nyxt-specific) init file name. This reminds me: do you want Nyxt to call =E2=80=98guix repl -q=E2=80=99 to= skip=20 loading ~/.guile to make your UI more predictable & debuggable?=20 Or keep it as an escape hatch for cool hacks? Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCX6/icA0cbWVAdG9iaWFz LmdyAAoJEA2w/4hPVW15ICMA/jt/UtVrFy2qKaoXsWJun/DlyE6tSEQrVSiE46Nf xmFKAQDOfu+Wd2oTcyuDRF2pqsTg/LW88E6y9swve8dB88QnDQ== =Sz3u -----END PGP SIGNATURE----- --=-=-=--