Skip to content

Commit

Permalink
Properly fix "setup-pre-commit.sh"
Browse files Browse the repository at this point in the history
Run "bins.d"-commands via install.sh so there's no need to worry about
the details any more...
  • Loading branch information
thijsputman committed Oct 20, 2024
1 parent 78dc432 commit 17c8707
Showing 1 changed file with 3 additions and 7 deletions.
10 changes: 3 additions & 7 deletions .github/scripts/setup-pre-commit.sh
Original file line number Diff line number Diff line change
Expand Up @@ -33,22 +33,18 @@ fi
$pip_cmd install 'pre-commit==3.3.3'
$pip_cmd install 'yamllint==1.32.0'

pushd "$(mktemp -d -t install_bins-d_XXXXXX)" > /dev/null || exit 1

if ! command -v shellcheck; then
version=v0.9.0 "${GITHUB_WORKSPACE}/install/bins.d/shellcheck" 3>&1
version=v0.9.0 "${GITHUB_WORKSPACE}/install/install.sh" bins.d shellcheck
fi

if ! command -v hadolint; then
version=v2.12.0 "${GITHUB_WORKSPACE}/install/bins.d/hadolint" 3>&1
version=v2.12.0 "${GITHUB_WORKSPACE}/install/install.sh" bins.d hadolint
fi

if ! command -v tdg; then
version=v0.0.2 "${GITHUB_WORKSPACE}/install/bins.d/tdg" 3>&1
version=v0.0.2 "${GITHUB_WORKSPACE}/install/install.sh" bins.d tdg
fi

popd > /dev/null || exit 1

if ! command -v shfmt; then
go install mvdan.cc/sh/v3/cmd/[email protected]
fi

0 comments on commit 17c8707

Please sign in to comment.