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

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

Dear,

On Fri, 13 Nov 2020 at 20:08, Bengt Richter <bokr@bokr.com> wrote:

> Would this enable people to type something like
>     wget -O - http:try.this.for.example.com/fun.mischief|guix repl -
> and if so, can you suggest some options for automatic hash or signature
> checking so that a paranoid could feel safe using a file pointed to
> by a friend? 

How is it different to:

   cat file | guix repl
or
   guix repl -- file

?  « Stupid is as stupid does, sir. »  Well, it is hard nor impossible
to prevent people to shoot themselves in their foot if they really want
to.  Somehow.


For instance,

--8<---------------cut here---------------start------------->8---
$ cat /tmp/foo.scm | 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.
name: hello
version: 2.10
outputs: out
systems: x86_64-linux i686-linux
dependencies: 
location: gnu/packages/base.scm:74:2
homepage: https://www.gnu.org/software/hello/
license: GPL 3+
synopsis: Hello, GNU world: An example GNU package  
description: GNU Hello prints the message "Hello, world!" and then exits.  It serves as an example of standard GNU coding practices.  As such, it supports command-line arguments, multiple languages, and so on.

$1 = #t
scheme@(guix-user)> 
$ cat /tmp/foo.scm
(use-modules (gnu packages base)
             (guix scripts show))

(guix-show "hello")
--8<---------------cut here---------------end--------------->8---

All the best,
simon