[bug#54570] [PATCH] gnu: Add parole.

[Ludovic Courtès]

Maxime Devos <maximedevos@telenet.be> skribis:

> Ludovic Courtès schreef op wo 06-04-2022 om 10:10 [+0200]:
>> Maxime Devos <maximedevos@telenet.be> skribis:
>> 
>> > Ludovic Courtès schreef op ma 04-04-2022 om 22:54 [+0200]:
>> > > +                  #:sh (search-input-file inputs "bin/bash")
>> > 
>> > FWIW, this line is unneccessary due to the 'patch-shebangs' phase,
>> 
>> Is it?  The default value of #:sh is (which "bash"), which is the wrong
>> value when cross-compiling, isn’t it?
>
> The default value is wrong when cross-compiling, so at least
> temporarily, the shebang will be wrong.  However, %standard-phases has
>
> (phases ... install patch-shebangs ...)
>
> so after the 'wrap-parole' phase, 'patch-shebangs' is run, and this
> phase will correct the shebang.

Oh, got it; this is perfect.

Thanks,
Ludo’.