diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index 14db5da60a..7ecf89986c 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -28,11 +28,11 @@ for cmd in \ Meta/check-png-sizes.sh \ Meta/check-style.py \ Meta/lint-executable-resources.sh \ - Meta/lint-keymaps.py \ - Meta/lint-shell-scripts.sh \ Meta/lint-gml-format.sh \ + Meta/lint-keymaps.py \ Meta/lint-prettier.sh \ - Meta/lint-python.sh; do + Meta/lint-python.sh \ + Meta/lint-shell-scripts.sh; do echo "Running ${cmd}... " if "${cmd}" "$@"; then echo -e "[${GREEN}OK${NC}]: ${cmd}" @@ -76,7 +76,6 @@ if [ "$ports" = true ]; then fi fi -echo "(Not running lint-missing-resources.sh due to high false-positive rate.)" echo "(Also look out for check-symbols.sh, which can only be executed after the build!)" exit "${FAILURES}" diff --git a/Meta/lint-missing-resources.sh b/Meta/lint-missing-resources.sh deleted file mode 100755 index bb21b5c4af..0000000000 --- a/Meta/lint-missing-resources.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash - -set -eo pipefail - -script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P) -cd "$script_path/.." - -# The dollar symbol in sed's argument is for "end of line", not any shell variable. -# shellcheck disable=SC2016 -grep -Eirh '(?