Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi Bengt, Bengt Richter skribis: > On +2019-09-09 00:07:10 +0200, Ludovic Courtès wrote: [...] >> Like I wrote in and in the >> message it refers to, although I was initially mildly reluctant to >> having /usr/bin/env by default, I’ve come to think t

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

On +2019-09-09 00:07:10 +0200, Ludovic Courtès wrote: > Hi, > > Ricardo Wurmus skribis: > > > Using a custom script with a /usr/bin/env shebang is pretty common. You > > don’t need to be a power user for that, and certainly not a *Guix* power > > user. > > Like I wrote in

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi everyone, Ricardo Wurmus writes: > Using a custom script with a /usr/bin/env shebang is pretty common. You > don’t need to be a power user for that, and certainly not a *Guix* power > user. > > [...] > > Personally, I think it’s a good idea to default to having /usr/bin/env > shebangs just w

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hello, On Sun, 2019-09-08 at 23:48 +0200, Ludovic Courtès wrote: > Hi, > > Jesse Gibbons 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,

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Guix, For the record, I've since restored this commit on master. The Guix project is certainly not lacking in mailing lists or other communication channels; I'd appreciate it if the git commit history weren't (ab)used as such. Thanks, T G-R signature.asc Description: PGP signature

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi, Ricardo Wurmus skribis: > Using a custom script with a /usr/bin/env shebang is pretty common. You > don’t need to be a power user for that, and certainly not a *Guix* power > user. Like I wrote in and in the message it refers to, although I was i

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi, Jesse Gibbons 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 distro

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Am 08.09.19 um 13:55 schrieb Konrad Hinsen: > Hi Ricardo and everyone else, > >> Using a custom script with a /usr/bin/env shebang is pretty common.  You >> don’t need to be a power user for that, and certainly not a *Guix* power >> user. > > I definitely agree with this. In my work environment, it

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi Ricardo and everyone else, Using a custom script with a /usr/bin/env shebang is pretty common. You don’t need to be a power user for that, and certainly not a *Guix* power user. I definitely agree with this. In my work environment, it is very common for people to distribute shell or Pytho

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hey Marius, > If you are on Guix System and find that you need /usr/bin/env, you are > already a "power user": you are venturing outside of what is provided by > Guix alone. I don’t follow this argument. Using a custom script with a /usr/bin/env shebang is pretty common. You don’t need to be

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi T-G-R, On Sat, 2019-09-07 at 09:52 +0200, Tobias Geerinckx-Rice wrote: > Jesse, > > Thanks! It was linked from another thread[0] Ludo' pasted to my > patch, though. I've read both. > > Jesse Gibbons 写道： > > Here's a post with what I think is a good argument against > > adding > > /usr/bin/

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

On Sat, 2019-09-07 at 12:06 +0200, Tobias Geerinckx-Rice wrote: > Mark, > > Mark H Weaver 写道： > > This should have been discussed more widely before pushing to > > 'master'. > > It should certainly have been discussed more widely before > reverting like you did. There was plenty of opportunity

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Tobias Geerinckx-Rice 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 actuall

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Mark, Mark H Weaver 写道： This should have been discussed more widely before pushing to 'master'. It should certainly have been discussed more widely before reverting like you did. There was plenty of opportunity for you to respond before that[0]. I have the impression this is not going any

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Mark, I'm going to disregard the ad-hom; energy is indeed precious for all of us. I am disappointed that you cho(o)se to respond in this manner, and after the fact. Promptly reverting patches you disagree with is a privilege that few can afford. An equally forceful response in May would ha

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Jesse, Thanks! It was linked from another thread[0] Ludo' pasted to my patch, though. I've read both. Jesse Gibbons 写道： Here's a post with what I think is a good argument against adding /usr/bin/env. I think the standard patch-shebang phase does a good job at preventing the potential issue

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

On Fri, 2019-09-06 at 19:21 -0400, Mark H Weaver wrote: > Hi Tobias, > > Tobias Geerinckx-Rice 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,

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Tobias Geerinckx-Rice 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/

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

Hi Tobias, Tobias Geerinckx-Rice 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

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

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!’

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

On Fri, Sep 06, 2019 at 12:44:53PM +0200, pelzflorian (Florian Pelz) wrote: > On Fri, Sep 06, 2019 at 12:36:33PM +0200, Christopher Baines wrote: > > > > guix-comm...@gnu.org writes: > > > > > nckx pushed a commit to branch master > > > in repository guix. > > > > > > commit 3b38bf141a464e1bb370a

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

On Fri, Sep 06, 2019 at 12:36:33PM +0200, Christopher Baines wrote: > > guix-comm...@gnu.org writes: > > > nckx pushed a commit to branch master > > in repository guix. > > > > commit 3b38bf141a464e1bb370af7d2b2651d1efb29781 > > Author: Tobias Geerinckx-Rice > > Date: Fri Sep 6 12:23:57 2019 +

Re: 01/01: services: Add ‘/usr/bin/env’ special file.

guix-comm...@gnu.org writes: > nckx pushed a commit to branch master > in repository guix. > > commit 3b38bf141a464e1bb370af7d2b2651d1efb29781 > Author: Tobias Geerinckx-Rice > Date: Fri Sep 6 12:23:57 2019 +0200 > > services: Add ‘/usr/bin/env’ special file. > > * gnu/services/base.sc