This commit is contained in:
2019-01-12 18:22:02 +01:00
commit ef6928d257
81 changed files with 6009 additions and 0 deletions

View File

@ -0,0 +1,9 @@
#! Check script arguments.
check_arg_side() {
local side="$1"
if ! [ "$side" == "left" -o "$side" == "right" ]; then
echo "Argument must be the side to handle {left, right} and not \"${side}\"."
exit 1
fi
}