Subject: Re: bug#44612: Read standard input in `guix repl'

From: Ludovic Courtès <[email-masked]>
Date: Thu, 03 Dec 2020 11:22:14 +0100

Hi Pierre!

Pierre Neidhardt <[email-masked]> skribis:

> Indeed, it works perfectly now, I've implemented your suggestions and
> Nyxt is now running a "guix repl server" to which it sends all the
> requests.  It's awesome! :)
>
> The only issue remaining is the weird behaviour that one has to pass
> /dev/stdin to get rid of the welcome message:
>
> echo '(display "Hi.\n")' | guix repl /dev/stdin

As discussed earlier, I think you should use ‘-t machine’, which doesn’t
have the welcome message.  ‘-t guile’ (the default) is meant for humans,
not for inter-process communication.

Ludo’.