>> This is especially broken when "#/bin/sh" links to "dash" (now the
>> default shell on debian systems).
> 
> That appears to be true, however.  See #390433[2].

Thanks for the pointer. I'll see about getting a proper fix in the dash package.

Reply via email to