> On 3 Jan 2023, at 11:47, Ulrich Mueller <u...@gentoo.org> wrote:
> 
>>>>>> On Tue, 03 Jan 2023, Sam James wrote:
> 
>> - if [[ "$(file "${exe}")" == *"shell script text"* ]]
>> + if [[ "$(file -S "${exe}")" == *"shell script text"* ]]
> 
> POSIX file doesn't know the -S option. Could that cause any problems,
> e.g. on prefix systems?

I think it should be okay as we add our own PATH first. But it's a fair point.

Attachment: signature.asc
Description: Message signed with OpenPGP

Reply via email to