diff options
Diffstat (limited to 'lib/arg_processing.sh')
| -rw-r--r-- | lib/arg_processing.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lib/arg_processing.sh b/lib/arg_processing.sh deleted file mode 100644 index d8fb92c..0000000 --- a/lib/arg_processing.sh +++ /dev/null @@ -1,9 +0,0 @@ -#! Check script arguments. - -check_arg_side() { - local side="$1" - if ! [ "$side" == "left" -o "$side" == "right" ]; then - echo "Argument must be must be the side to handle {left, right} and not \"${side}\"." - exit 1 - fi -} |