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

[zimoun <zimon.toutoune@gmail.com>]

Hi Pierre,

On Sat, 14 Nov 2020 at 10:52, Pierre Neidhardt <mail@ambrevar.xyz> wrote:
> Tobias Geerinckx-Rice <me@tobias.gr> writes:
>
>> A magic ‘-’ alias is nice, providing ‘guix repl -- -’ still DTRT 
>> (I know, who does that, but still).
>>
>> But why can't you just pipe your input into ‘guix repl’ now?
>
> It does not work now, I haven't looked at the details.

It does with the plain shell pipe ’|’:

--8<---------------cut here---------------start------------->8---
$ echo 42 | guix repl
GNU Guile 3.0.4
Copyright (C) 1995-2020 Free Software Foundation, Inc.

Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'.
This program is free software, and you are welcome to redistribute it
under certain conditions; type `,show c' for details.

Enter `,help' for help.
$1 = 42
scheme@(guix-user)>
$ 
--8<---------------cut here---------------end--------------->8---

Another example here:

  <https://yhetil.org/guix-bugs/86mtzkdhet.fsf@tournier.info>


Please look at the details.

All the best,
simon