lint/scripts/bash-exec.sh

#!/usr/bin/env bash

set -euo pipefail

FILE="${1}"
IGNORE_LIBRARY="${2:-false}"

if [[ "${IGNORE_LIBRARY}" == "true" ]] && HasNoShebang "${FILE}"; then
  echo "${FILE} is being ignored because IGNORE_LIBRARY is set to ${IGNORE_LIBRARY}"
  exit 0
fi

if ! [[ -x "${FILE}" ]]; then
  echo "Error: File:[${FILE}] is not executable"
  exit 1
fi
split the installation scripts, inline or clean-up as possible 2023-04-22 15:54:41 -07:00			`#!/usr/bin/env bash`

			`set -euo pipefail`

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 13:17:22 -05:00			`FILE="${1}"`
			`IGNORE_LIBRARY="${2:-false}"`

			`if [[ "${IGNORE_LIBRARY}" == "true" ]] && HasNoShebang "${FILE}"; then`
			`echo "${FILE} is being ignored because IGNORE_LIBRARY is set to ${IGNORE_LIBRARY}"`
			`exit 0`
			`fi`

			`if ! [[ -x "${FILE}" ]]; then`
			`echo "Error: File:[${FILE}] is not executable"`
split the installation scripts, inline or clean-up as possible 2023-04-22 15:54:41 -07:00			`exit 1`
			`fi`