script/check-shell-scripts.sh

   1 #!/bin/sh
   2
   3 if [ $# -lt 1 ]; then
   4         echo "Usage: $(basename "${0}") DIR [SEVERITY]"
   5         exit 1
   6 fi
   7
   8 DIR="${1}"
   9 SEVERITY="${2:-error}"
  10
  11 shfmt -f "${DIR}" |
  12         grep -v -E "(bootstrap|third_party)" |
  13         xargs shellcheck \
  14                 --shell=sh \
  15                 --external-sources \
  16                 --check-sourced \
  17                 --format=gcc \
  18                 --severity="${SEVERITY}"
  19
  20 exit $?