Hello, Sarthak Shah <shahsarth...@gmail.com> writes:
> Hello, > >> By separate file or stdin your really mean stdin, correct? As in: >> >> --8<---------------cut here---------------start------------->8--- >> guix something < args.txt or >> echo "$args" | guix something >> --8<---------------cut here---------------end--------------->8--- >> >> One note: since this mechanism could be generally useful, it should be >> globally available (like 'guix build' options), for any 'guix' >> invocation. >> > Actually, while using this shell script you could also pass a file directly > i.e all of these will work: > -----(shell)------ > ./guix-shell-with-args /path/to/some/file-with-args > ./guix-shell-with-args < /some/other/file > echo "something from stdin" | ./guix-shell-with-args > ------------------- Interesting, althoug I think accepting a file would be perhaps going too far, not sure. I think targetting an explicit arg and stdin would be a good starting point. -- Thanks, Maxim
