2 commits

Author	SHA1	Message	Date
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
Denis N. Antonioli	c7f01711bd	split the installation scripts, inline or clean-up as possible	2023-04-25 23:05:56 -04:00