tools: don't display command not found

[julianoes]

This just caught my eye.

[JonasVautherin]

Hmm which terminal did you test it with? For me with zsh and sh:

sh:

$ type podman > /dev/null
$ type podman 2> /dev/null
podman: not found

zsh:

% type podman > /dev/null
% type podman 2> /dev/null
podman not found

So it seems to me that > does what I expect, and 2> does not 🤔

[julianoes]

odd, I tested it in zsh.

[julianoes]

tools/run-docker.sh tools/fix_style.sh .
tools/run-docker.sh: line 5: type: podman: not found
Starting with UID: 1000

[julianoes]

Bash:

type podman > /dev/null
bash: type: podman: not found

[julianoes]

And since this is made for bash I think the PR is correct.

[JonasVautherin]

It is made for sh: #!/usr/bin/env sh.

What about a tradeoff 😆? Works for me on sh, zsh and bash.

[julianoes]

Hm, you're right. :)