From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:58378)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jRYrr-0000fS-Bg
 for guix-patches@gnu.org; Thu, 23 Apr 2020 06:14:03 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jRYrq-0004Zk-QD
 for guix-patches@gnu.org; Thu, 23 Apr 2020 06:14:03 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:42540)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1jRYrq-0004ZU-Eb
 for guix-patches@gnu.org; Thu, 23 Apr 2020 06:14:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1jRYrq-00050Z-7G
 for guix-patches@gnu.org; Thu, 23 Apr 2020 06:14:02 -0400
Subject: [bug#40373] [PATCH] guix: new command "guix run-script"
Resent-Message-ID: <handler.40373.B40373.158763678919178@debbugs.gnu.org>
From: Konrad Hinsen <konrad.hinsen@fastmail.net>
In-Reply-To: <CAJ3okZ2039Jy9i19GL99sNK1COsSK8KtXn5BbFB7M2BGktF0jA@mail.gmail.com>
References: <m1d08rmh6g.fsf@khs-macbook.home> <875zeiudjm.fsf@gnu.org>
 <m1a73umkbw.fsf@khs-macbook.home> <87mu7slwwh.fsf@gnu.org>
 <m1blo34q5r.fsf@khs-macbook.home> <87mu7na8g6.fsf@gnu.org>
 <CAJ3okZ2039Jy9i19GL99sNK1COsSK8KtXn5BbFB7M2BGktF0jA@mail.gmail.com>
Date: Thu, 23 Apr 2020 12:12:59 +0200
Message-ID: <m1h7xah5n8.fsf@fastmail.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: zimoun <zimon.toutoune@gmail.com>, Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: 40373@debbugs.gnu.org

Hi Simon,

> Why not simply add an option to "guix repl"?
> For example "--batch", mimicking  "emacs --batch".
> Or "--script".

Do you have a suggestion for explaining such a command to someone who
want to run a script bu (1) doesn't know what a REPL is, (2) doesn't
need to know what a REPL is, (3) would be mystified by the behavior
resulting from forgetting the =E2=80=93script argument?

I agree of course that naming is hard, but it is also important.  Git
should be a sufficient demonstration of what happens when you design
command-line interfaces by a sequence of cumulative least-effort
decisions.

Cheers,
  Konrad