check-shell-files.sh 847 B

123456789101112131415161718192021222324252627
  1. #!/usr/bin/env bash
  2. # Copyright Materialize, Inc. and contributors. All rights reserved.
  3. #
  4. # Use of this software is governed by the Business Source License
  5. # included in the LICENSE file at the root of this repository.
  6. #
  7. # As of the Change Date specified in that file, in accordance with
  8. # the Business Source License, use of this software will be governed
  9. # by the Apache License, Version 2.0.
  10. #
  11. # check-shell-files.sh — checks shell files.
  12. set -euo pipefail
  13. cd "$(dirname "$0")/../../../.."
  14. . misc/shlib/shlib.bash
  15. if [[ ! "${MZDEV_NO_SHELLCHECK:-}" ]]; then
  16. # Only consider a shebang in the first line
  17. shell_files=$(sort -u <(git_files '*.sh' '*.bash') <(git grep -n '#!.*bash' -- ':!*.*' | grep ":1:" | sed -e "s/:1:.*//"))
  18. echo "$shell_files"
  19. try xargs shellcheck -P SCRIPTDIR <<< "$shell_files"
  20. fi
  21. try_status_report