[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:21:01 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi Tobias,
Tobias Geerinckx-Rice <address@hidden> writes:
> Christopher,
>
> 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.
>
> I hope that's sufficient, but I don't think it needed to go in the
> commit message.
This should have been discussed more widely before pushing to 'master'.
It is not a new idea. We talked about it long ago, and decided that it
should *not* be included. I don't have the energy right now to restate
the arguments or find the old discussions.
Mark
- 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.,
Mark H Weaver <=
- 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, 2019/09/06