123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 |
- #!/usr/bin/env bash
- set -eo pipefail
- script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
- cd "$script_path/.."
- if [ "$#" -eq "0" ]; then
- files=()
- while IFS= read -r file; do
- files+=("$file")
- done < <(
- git ls-files -- \
- '*.sh' \
- )
- else
- files=()
- for file in "$@"; do
-
- if [[ "${file}" =~ "Ports" ]]; then
- continue
- fi
- if [[ "${file}" == *".sh" && "${file}" != "Base/root/generate_manpages.sh" ]]; then
- files+=("${file}")
- fi
- done
- fi
- if (( ${#files[@]} )); then
- if ! command -v shellcheck &>/dev/null ; then
- echo "shellcheck is not available, but shell files need linting! Either skip this script, or install shellcheck."
- exit 1
- fi
- shellcheck --source-path=SCRIPTDIR "${files[@]}"
- for file in "${files[@]}"; do
- if (< "$file" grep -qE "grep [^|);]*-[^- ]*P"); then
-
-
- echo -e "The script '$file' contains 'grep \x2DP', which is not supported on macOS. Please use grep -E instead."
- exit 1
- fi
- done
- else
- echo "No .sh files to check."
- fi
|