On Sat, Mar 04, 2023 at 08:52:15PM +1100, David wrote:
> Debian's default shell is 'dash'. Its manual, readable using 'man dash',
> says

The script explicitly calls bash. The rest of your point is still
(coincidentally) valid though, as it would be in most of the popular shells
as far as I'm aware.

Cheers,
Tom

-- 
To understand the heart and mind of a person, look not at what
he has already achieved, but at what he aspires to do.

Attachment: signature.asc
Description: PGP signature

Reply via email to