[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 01/01: services: Add ‘/usr/bin/env’ special file.
From: |
Ludovic Courtès |
Subject: |
Re: 01/01: services: Add ‘/usr/bin/env’ special file. |
Date: |
Sun, 08 Sep 2019 23:48:51 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi,
Jesse Gibbons <address@hidden> skribis:
> If I might chip in here to try to make this discussion a little more
> productive, a user suggested /usr/bin/env should be added by default[0]
> to solve a problem[1]. In summary, the user wanted to have a standard
> for scripting in guile and other common GNU distros. If including
> /usr/bin/env by default is not the best solution to the problem,
> perhaps we can find a better solution.
>
> I suggest we add the "guix shebang" command, which takes a script and
> returns a script with a shebang pointing to the proper source, like
> what 'patch-shebangs build phase does to all the scripts in the build
> source. It could replace the input script (perhaps when given the --
> replace option) or it could put the resulting script in the store and
> accept the --root= option.
Would “guix shebang” modify the script, or would it be used as the
shebang?
Either way, I’m not sure it’d really solve the initial use case very
well (the initial request was to be able to run scripts unmodified,
AIUI.)
Thanks,
Ludo’.
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., Christopher Baines, 2019/09/06
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., pelzflorian (Florian Pelz), 2019/09/06
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., Tobias Geerinckx-Rice, 2019/09/06
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., Tobias Geerinckx-Rice, 2019/09/07
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., Jesse Gibbons, 2019/09/07
- Re: 01/01: services: Add ‘/usr/bin/env’ special file.,
Ludovic Courtès <=
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., Jesse Gibbons, 2019/09/08
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., Tobias Geerinckx-Rice, 2019/09/08
Re: 01/01: services: Add ‘/usr/bin/env’ special file., Mark H Weaver, 2019/09/06
Re: 01/01: services: Add ‘/usr/bin/env’ special file., Marius Bakke, 2019/09/07
Re: 01/01: services: Add ‘/usr/bin/env’ special file., Ludovic Courtès, 2019/09/08
Re: 01/01: services: Add ‘/usr/bin/env’ special file., Bengt Richter, 2019/09/09