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

From: Pierre Neidhardt <[email-masked]>
Date: Tue, 01 Dec 2020 09:29:25 +0100

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