2017-04-18 21:14:48 +00:00
|
|
|
#!/bin/sh -eu
|
2017-04-13 15:52:05 +00:00
|
|
|
|
|
|
|
# output width
|
|
|
|
if "$1" --help | grep -v 'default:' | grep -E -q '.{80}.'; then
|
2017-04-24 23:40:02 +00:00
|
|
|
echo "$(basename "$1") --help output is too wide:"
|
|
|
|
"$1" --help | awk 'length > 80' | grep -E --color=yes '.{80}'
|
|
|
|
exit 1
|
2017-04-13 15:52:05 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
# no --help output to stdout
|
|
|
|
if "$1" --help 2>&1 1>/dev/null | grep .; then
|
2017-04-24 23:40:02 +00:00
|
|
|
echo "$(basename "$1") --help prints to stderr"
|
|
|
|
exit 2
|
2017-04-13 15:52:05 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
# error output to stderr
|
|
|
|
if ! "$1" --no-such-parameter 2>&1 1>/dev/null | grep -q .; then
|
2017-04-24 23:40:02 +00:00
|
|
|
echo "$(basename "$1") with an unknown parameter does not print to stderr"
|
|
|
|
exit 3
|
2017-04-13 15:52:05 +00:00
|
|
|
fi
|