GNU bug report logs - #55231
[PATCH v1] initrd: Allow extra search paths with ‘initrd-extra-module-paths’

Previous Next

Full log

Message #113 received at 55231 <at> debbugs.gnu.org (full text, mbox):

From: Morgan Arnold <morgan.arnold <at> proton.me>
To: "guix-devel <at> gnu.org" <guix-devel <at> gnu.org>
Cc: Ian Eure <ian <at> retrospec.tv>, "ludo <at> gnu.org" <ludo <at> gnu.org>,
 "maximedevos <at> telenet.be" <maximedevos <at> telenet.be>,
 "kaelyn.alexi <at> protonmail.com" <kaelyn.alexi <at> protonmail.com>,
 "john.kehayias <at> protonmail.com" <john.kehayias <at> protonmail.com>,
 "55231 <at> debbugs.gnu.org" <55231 <at> debbugs.gnu.org>
Subject: Re: Understanding #:substitutable? and #55231
Date: Sun, 09 Feb 2025 22:42:26 +0000

Hi all,

As a bit of an aside, I'm wondering if it wouldn't be possible to eliminate the possibility of even potential copyviols by a change to the `derivation` function? It currently sets environment variable for the builder daemon by setting `allowSubstitutes = 0` if `(not substitutable?)`. If non-substitutability were propagated by doing something like instead setting `allowSubstitutes = 0` if `(not substitutable?)` or if `(not (every substitutable-derivation? inputs))`, wouldn't this suffice to ensure that an initrd which contains non-substitutable inputs is properly marked non-substitutable?

It might be more correct to allow derivations built with non-substitutable native inputs to be substitutable nonetheless. The alternative seems like it could cause issues, in particular with the non-substitutable texlive package being used as a native input to build documentation.

Best,

Morgan

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.