[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 01/01: services: Add ‘/usr/bin/env’ special file.
From: |
Mark H Weaver |
Subject: |
Re: 01/01: services: Add ‘/usr/bin/env’ special file. |
Date: |
Fri, 06 Sep 2019 19:47:22 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Tobias Geerinckx-Rice <address@hidden> writes:
> Christopher Baines 写道:
>> This seems to me like quite a big change, and I'd be interested in
>> knowing what your motivation was [1]?
>
> It's not, really. It's equivalent to the impure /bin/sh that Guix
> Systems already provide, but actually useful: ‘use #!/usr/bin/env, not
> #!/bin/sh!’ was already a mantra when I wrote my first shell script —
> and I'm not that young.
>
> There's no good argument for not being able to run the vast majority
> of well-written scripts, out of the box, on Guix Systems.
It shows some hubris for you to declare that "there's no good argument".
How did you come to that conclusion? Did you assume that there must not
be any good argument against it because you couldn't think of one?
We discussed this long ago and decided against including /usr/bin/env.
Therefore, I reverted your commit for now. If you like, we can start
another discussion about it, and I'll restate my arguments against it
when I find the energy.
Thanks,
Mark
- Re: 01/01: services: Add ‘/usr/bin/env’ special file., (continued)
- 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, 2019/09/08
- 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 <=
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
Re: 01/01: services: Add ‘/usr/bin/env’ special file., Ludovic Courtès, 2019/09/09
Re: 01/01: services: Add ‘/usr/bin/env’ special file., Chris Marusich, 2019/09/08