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

[Ludovic Courtès]

Hi Pierre!

Pierre Neidhardt <mail@ambrevar.xyz> 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’.