From 4b2bbe6a7eb873eb8a3a80a8ed20a7d127e4be51 Mon Sep 17 00:00:00 2001 From: Brian Gianforcaro Date: Mon, 17 Jan 2022 00:06:56 -0800 Subject: [PATCH] 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. --- Meta/lint-shell-scripts.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Meta/lint-shell-scripts.sh b/Meta/lint-shell-scripts.sh index 37e1efcdb0..0d7f0b8e60 100755 --- a/Meta/lint-shell-scripts.sh +++ b/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