#29814 impossible to pass spaces in GUIX_BUILD_OPTIONS

Message #5 received at submit@debbugs.gnu.org (full text, mbox, reply):

From: Martin Castillo <castilma@uni-bremen.de>

To: bug-guix@gnu.org

Subject: impossible to pass spaces in GUIX_BUILD_OPTIONS

Date: Fri, 22 Dec 2017 18:58:06 +0100

guix/util.scm:(arguments-from-envirenment-variable) uses
char-set:graphic to split the string. this makes it impossible to pass
spaces in the arguments.

This makes it impossible to pass more than one substitute-url via the
environment.

Message #8 received at 29814@debbugs.gnu.org (full text, mbox, reply):

From: ludo@gnu.org (Ludovic Courtès)

To: Martin Castillo <castilma@uni-bremen.de>

Cc: 29814@debbugs.gnu.org

Subject: Re: bug#29814: impossible to pass spaces in GUIX_BUILD_OPTIONS

Date: Fri, 22 Dec 2017 22:06:04 +0100

Martin Castillo <castilma@uni-bremen.de> skribis:

> guix/util.scm:(arguments-from-envirenment-variable) uses
> char-set:graphic to split the string. this makes it impossible to pass
> spaces in the arguments.
>
> This makes it impossible to pass more than one substitute-url via the
> environment.

Yes, this is annoying.  I think --substitute-urls (plural) was
misguided.  Instead we should instead have --substitute-url (singular),
which could be repeated several times.  That would solve the troubles
with spaces.

During a transition period we could keep accepting --substitute-urls.

WDYT?

Ludo’.

Message #11 received at 29814@debbugs.gnu.org (full text, mbox, reply):

From: Mark H Weaver <mhw@netris.org>

To: ludo@gnu.org (Ludovic Courtès)

Cc: Martin Castillo <castilma@uni-bremen.de>, 29814@debbugs.gnu.org

Subject: Re: bug#29814: impossible to pass spaces in GUIX_BUILD_OPTIONS

Date: Fri, 22 Dec 2017 22:36:45 -0500

ludo@gnu.org (Ludovic Courtès) writes:

> Martin Castillo <castilma@uni-bremen.de> skribis:
>
>> guix/util.scm:(arguments-from-envirenment-variable) uses
>> char-set:graphic to split the string. this makes it impossible to pass
>> spaces in the arguments.
>>
>> This makes it impossible to pass more than one substitute-url via the
>> environment.
>
> Yes, this is annoying.  I think --substitute-urls (plural) was
> misguided.  Instead we should instead have --substitute-url (singular),
> which could be repeated several times.  That would solve the troubles
> with spaces.
>
> During a transition period we could keep accepting --substitute-urls.

I require a way to clear the list of substitute urls, because last I
checked --no-substitutes doesn't fully inhibit use of the substitute
servers.  For example, I found that when grafting, substitute servers
were queried even when --no-substitutes is passed to the daemon.  I
guess that's to determine the set of references found in the build
outputs, to optimize the grafting process.  However, a compromised
substitute server (or a man-in-the-middle in possession of our signing
key) could send me the wrong set of references, and thus cause my system
to perform incomplete grafts, with some dependencies omitted from the
list of rewrites.

My current method to avoid trusting the substitute servers is to pass
both --no-substitutes and --substitute-urls "" to the daemon.  If we
deprecate the use of --substitute-urls, how will I clear the list?

       Mark

Message #14 received at 29814@debbugs.gnu.org (full text, mbox, reply):

From: ludo@gnu.org (Ludovic Courtès)

To: Mark H Weaver <mhw@netris.org>

Cc: Martin Castillo <castilma@uni-bremen.de>, 29814@debbugs.gnu.org

Subject: Re: bug#29814: impossible to pass spaces in GUIX_BUILD_OPTIONS

Date: Sat, 23 Dec 2017 15:14:40 +0100

Mark H Weaver <mhw@netris.org> skribis:

> ludo@gnu.org (Ludovic Courtès) writes:

[...]

>> Yes, this is annoying.  I think --substitute-urls (plural) was
>> misguided.  Instead we should instead have --substitute-url (singular),
>> which could be repeated several times.  That would solve the troubles
>> with spaces.
>>
>> During a transition period we could keep accepting --substitute-urls.
>
> I require a way to clear the list of substitute urls, because last I
> checked --no-substitutes doesn't fully inhibit use of the substitute
> servers.  For example, I found that when grafting, substitute servers
> were queried even when --no-substitutes is passed to the daemon.  I
> guess that's to determine the set of references found in the build
> outputs, to optimize the grafting process.  However, a compromised
> substitute server (or a man-in-the-middle in possession of our signing
> key) could send me the wrong set of references, and thus cause my system
> to perform incomplete grafts, with some dependencies omitted from the
> list of rewrites.

AFAIK when ‘guix-daemon --no-substitutes’ is running what you describe
is impossible.  If the impossible happens, could you report a bug?

> My current method to avoid trusting the substitute servers is to pass
> both --no-substitutes and --substitute-urls "" to the daemon.  If we
> deprecate the use of --substitute-urls, how will I clear the list?

Normally, both for the daemon and for clients, --no-substitutes should
achieve what you want.  If not, we should really fix it.

Thanks,
Ludo’.

Message #17 received at 29814@debbugs.gnu.org (full text, mbox, reply):

From: Martin Castillo <castilma@uni-bremen.de>

To: Ludovic Courtès <ludo@gnu.org>

Cc: 29814@debbugs.gnu.org

Subject: Re: bug#29814: impossible to pass spaces in GUIX_BUILD_OPTIONS

Date: Wed, 27 Dec 2017 17:37:31 +0100

> Yes, this is annoying.  I think --substitute-urls (plural) was
> misguided.  Instead we should instead have --substitute-url (singular),
> which could be repeated several times.  That would solve the troubles
> with spaces.
> 
> During a transition period we could keep accepting --substitute-urls.
> 
> WDYT?

Sounds good.

-- 
GPG: 7FDE 7190 2F73 2C50 236E  403D CC13 48F1 E644 08EC

Send a report that this bug log contains spam.