Hi Gunnar,

On Wed, Nov 17, 2021 at 8:27 PM Gunnar Hjalmarsson <gunna...@debian.org> wrote:
>
> $ man dash | grep 'type \[' -A 3

I can drop 'type' here [1] but checkbashisms (which is the basis for
the check) flagged it for a reason: Apparently, you are supposed to
replace it with 'command -V'! [2]

I almost laughed out loud. No flames, please.

Supposedly, the 'type' command  does not have well-defined output
across shells. At the same time: "If you are on a platform that calls
itself a UNIX-platform, the type command is mandatory because a
UNIX-platform is required to support all so called XSI enhancements
mentioned in the POSIX standard." [3]

What do you think, please? Thanks!

Kind regards
Felix Lechner

[1] 
https://salsa.debian.org/lintian/lintian/-/blob/master/lib/Lintian/Check/Shell/NonPosix/BashCentric.pm#L128
[2] https://unix.stackexchange.com/a/667393
[3] https://unix.stackexchange.com/a/667429

Reply via email to