On 21/11/18 at 17:22, Dr. Nikolaus Klepp wrote:
> Am Mittwoch, 21. November 2018 schrieb Hendrik Boom:


[...]


>> I read the discussion at
>> https://www.mail-archive.com/debian-bugs-dist@lists.debian.org/msg1642443.html
>> and it looks as if they fixed the discrepancy at version 3.5.1-2.
>> Which means if we want to keep sed in /bin instead of /usr/bin we may
>> have to patch both packages sed and r-base.
>>
>> Or maybe add a symblic link to make sed accessible from /usr/bin instead
>> of just /bin.
> Why would anybody hardcode the link to sed in the first place? Isn't that what $PATH is all about?


  It's necessary to keep script shebangs from breaking.



--
Alessandro Selli <alessandroselli@???>
VOIP SIP: dhatarattha@???
Chiave firma e cifratura PGP/GPG signing and encoding key:
BA651E4050DDFC31E17384BABCE7BD1A1B0DF2AE