2017-12-24 07:53:20 +01:00
|
|
|
#!/bin/sh
|
|
|
|
set -eu
|
2017-04-13 17:52:05 +02:00
|
|
|
|
2017-11-25 16:01:55 +01:00
|
|
|
export SYSTEMD_LOG_LEVEL=info
|
|
|
|
|
2017-04-13 17:52:05 +02:00
|
|
|
# output width
|
|
|
|
if "$1" --help | grep -v 'default:' | grep -E -q '.{80}.'; then
|
2017-04-25 01:40:02 +02:00
|
|
|
echo "$(basename "$1") --help output is too wide:"
|
|
|
|
"$1" --help | awk 'length > 80' | grep -E --color=yes '.{80}'
|
|
|
|
exit 1
|
2017-04-13 17:52:05 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
# no --help output to stdout
|
|
|
|
if "$1" --help 2>&1 1>/dev/null | grep .; then
|
2017-04-25 01:40:02 +02:00
|
|
|
echo "$(basename "$1") --help prints to stderr"
|
|
|
|
exit 2
|
2017-04-13 17:52:05 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
# error output to stderr
|
|
|
|
if ! "$1" --no-such-parameter 2>&1 1>/dev/null | grep -q .; then
|
2017-04-25 01:40:02 +02:00
|
|
|
echo "$(basename "$1") with an unknown parameter does not print to stderr"
|
|
|
|
exit 3
|
2017-04-13 17:52:05 +02:00
|
|
|
fi
|