Browse Source

Meta: Skip shellcheck for Ports in pre-commit hook

Shellcheck barfs on many of the patterns we use in port scripts, the
check is already disabled when we run the script in CI, so we might as
well disable the check for pre-commit as well.
Brian Gianforcaro 3 years ago
parent
commit
4b2bbe6a7e
1 changed files with 5 additions and 0 deletions
  1. 5 0
      Meta/lint-shell-scripts.sh

+ 5 - 0
Meta/lint-shell-scripts.sh

@@ -17,6 +17,11 @@ if [ "$#" -eq "0" ]; then
 else
     files=()
     for file in "$@"; do
+        # Skip ports, like we in the CI case above.
+        if [[ "${file}" =~ "Ports" ]]; then
+           continue
+        fi
+
         if [[ "${file}" == *".sh" && "${file}" != "Base/root/generate_manpages.sh" ]]; then
             files+=("${file}")
         fi