diff options
| author | Christian Segundo | 2025-12-20 06:39:33 +0100 |
|---|---|---|
| committer | Christian Segundo | 2025-12-20 13:00:19 +0100 |
| commit | 3d3b0a86a824512b5bf89b0b8e3bd9837f927b15 (patch) | |
| tree | 78f2a1fbecf69c4084b98090ce6ba8b3f98ce3ce /.scripts.d/10-check.sh | |
| parent | a575e280350013f1c5fc837af38bf268c9172b42 (diff) | |
| download | languagetool-3d3b0a86a824512b5bf89b0b8e3bd9837f927b15.tar.gz | |
Move build to Gitea
Diffstat (limited to '.scripts.d/10-check.sh')
| -rw-r--r-- | .scripts.d/10-check.sh | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/.scripts.d/10-check.sh b/.scripts.d/10-check.sh index e8ddf59..71b3ab6 100644 --- a/.scripts.d/10-check.sh +++ b/.scripts.d/10-check.sh @@ -1,22 +1,12 @@ #!/bin/bash -# vim: ai:ts=8:sw=8:noet set -EeufCo pipefail export SHELLOPTS # propagate set to children by default IFS=$'\t\n' # check required commands are in place -command -v shellcheck >/dev/null 2>&1 || { - echo 'please install shellcheck' - exit 1 -} -command -v hadolint >/dev/null 2>&1 || { - echo 'please install hadolint' - exit 1 -} -command -v yamllint >/dev/null 2>&1 || { - echo 'please install yamllint' - exit 1 -} +command -v shellcheck >/dev/null 2>&1 || { echo 'please install shellcheck'; exit 1; } +command -v hadolint >/dev/null 2>&1 || { echo 'please install hadolint'; exit 1; } +command -v yamllint >/dev/null 2>&1 || { echo 'please install yamllint'; exit 1; } # check all the Dockerfiles with hadolint find . \ |