add redirect to /dev/null

This commit is contained in:
Jan Prukner committed 2023-04-25 07:06:36 +02:00
1 parent dbebe9e92c
commit 19097bc5bc
1 file changed
+1 -1
+1 -1
View File
@@ -157,7 +157,7 @@ run_demo() {
} }
have_which() { have_which() {
if ! command -v which 2>&1 ; then if ! command -v which > /dev/null 2>&1 ; then
panic "Could not find \`which\`" panic "Could not find \`which\`"
fi fi
} }