lint/test/linters/bash_exec/libraries/indentedShebang_bad.sh at 89e55ba7231d7e54ae5355909fbf21195e68d491 - actions/lint - CoastalCommits

actions/lint

mirror of https://github.com/super-linter/super-linter.git synced 2024-12-29 07:54:52 -05:00

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

4 lines

69 B

Bash

Raw Blame History

  #!/usr/bin/env whatever
 function hello() {
   echo "Hello, world!"
 }