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
..
libraries	feat(bash-exec): add option to ignore shell library files (#5254)	2024-02-27 18:17:22 +00:00
shell_bad_1.sh	Move tests to the test directory (#4985)	2023-12-15 08:50:35 +00:00
shell_good_1.sh	Move tests to the test directory (#4985)	2023-12-15 08:50:35 +00:00