diff --git a/scripts/lint-sh.sh b/scripts/lint-sh.sh index 013ef1c5cc51eed39c1ed24ed6ccf2db9029dff9..e6cf284986c805eb2efda67da6260a96a0fba1a6 100755 --- a/scripts/lint-sh.sh +++ b/scripts/lint-sh.sh @@ -3,7 +3,7 @@ set -e is_scriptfile() { - echo "$1" | grep -qE '.*\.sh$' || head -n1 "$1" | grep -qE '^#.*(sh|bash)$' + echo "$1" | grep -q '\.sh$' || head -n1 "$1" | grep -qE '^#!(.*\<bash|/bin/sh)$' } find contrib -type f | while read -r file; do