lint/scripts
Benjamin Wuethrich 95aabd4cfa
feat(bash-exec): add option to ignore shell library files (#5254)
Introduce a new configuration variable, BASH_EXEC_IGNORE_LIBRARIES. If
set to true, the behaviour of bash-exec is modified: if a shell file has
a file extension and no shebang line, it is ignored, i.e., allowed to be
non-executable. This allows files that are only every sourced from other
shell files, acting as libraries and not executables, to have no
executable bit set without failing the bash-exec linter.
2024-02-27 18:17:22 +00:00
..
bash-exec.sh feat(bash-exec): add option to ignore shell library files (#5254) 2024-02-27 18:17:22 +00:00
clippy.sh build: reduce container image size (#5072) 2023-12-29 19:30:58 +01:00
install-arm-ttk.sh Simplify container image build (#4962) 2023-12-15 11:59:36 +01:00
install-checkstyle.sh Simplify container image build (#4962) 2023-12-15 11:59:36 +01:00
install-chktex.sh build: fail on errors when installing chktex (#5214) 2024-02-05 10:31:43 +01:00
install-glibc.sh build: reduce container image size (#5072) 2023-12-29 19:30:58 +01:00
install-google-java-format.sh Simplify container image build (#4962) 2023-12-15 11:59:36 +01:00
install-ktlint.sh feat: automatically handle ktlint updates (#5049) 2023-12-24 14:47:34 +01:00
install-lintr.sh build: reduce container image size (#5072) 2023-12-29 19:30:58 +01:00
install-lua.sh build: reduce container image size (#5072) 2023-12-29 19:30:58 +01:00
install-phive.sh build: reduce container image size (#5072) 2023-12-29 19:30:58 +01:00
install-r-package-or-fail.R fix: fail if r package installation fails (#4994) 2023-12-21 20:52:57 +01:00
linterVersions.sh fix: don't immediately exit on errors (#5336) 2024-02-27 14:57:36 +01:00