diff options
| author | Brian Gianforcaro <bgianf@serenityos.org> | 2022-01-17 00:06:56 -0800 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2022-01-17 11:17:15 +0100 |
| commit | 4b2bbe6a7eb873eb8a3a80a8ed20a7d127e4be51 (patch) | |
| tree | 315a49a62fa6703e591f00328c81513a384f6967 /Meta/lint-shell-scripts.sh | |
| parent | d08a1aae63e99dd7feadaa2b31c4b0f23e48a694 (diff) | |
| download | serenity-4b2bbe6a7eb873eb8a3a80a8ed20a7d127e4be51.zip | |
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.
Diffstat (limited to 'Meta/lint-shell-scripts.sh')
| -rwxr-xr-x | Meta/lint-shell-scripts.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 |