STYLE: provide 'die' as alternative to 'usage'

- make option parsing more consistent
This commit is contained in:
mark
2016-06-16 19:50:38 +02:00
parent b66ec91d01
commit 0b1c761075
11 changed files with 69 additions and 122 deletions

View File

@ -61,6 +61,17 @@ then
fi
# Report error and exit
die()
{
exec 1>&2
echo
echo "Error: see '${0##*/} -help' for usage"
while [ "$#" -ge 1 ]; do echo " $1"; shift; done
echo
exit 1
}
# Test if it matches "*-none"
_foamIsNone()
{