Re: Add /usr/bin/env by default in guixsd?

[Alex Kost]

Ludovic Courtès (2017-02-08 16:21 +0100) wrote:

> Hello,
>
> address@hidden skribis:
>
>> address@hidden (Ludovic Courtès) writes:
>
> [...]
>
>>> First we need a simple ‘special-files’ service or something (for /bin/sh
>>> and /usr/bin/env).
>>>
>>> Then the whole battle will be about what the default should be.  I used
>>> to be affiliated with the “no way!” party on this topic, but I
>>> considering changing my mind.  :-)  Especially that it does not matter
>>> that much, after all.
>>
>> That sounds great for me!  Thanks!
>
> Commit 387e175492f960d7d86f34f3b2e43938fa72dbf3 adds
> ‘special-files-service-type’.
>
> The default is unchanged (only /bin/sh is created) but the documentation
> provides a one-liner for /usr/bin/env (see below).

Great, I'm using this feature now, thanks a lot!

-- 
Alex