aboutsummaryrefslogtreecommitdiff
path: root/.scripts.d/10-check.sh
diff options
context:
space:
mode:
authorChristian Segundo2025-12-20 06:39:33 +0100
committerChristian Segundo2025-12-20 13:00:19 +0100
commit3d3b0a86a824512b5bf89b0b8e3bd9837f927b15 (patch)
tree78f2a1fbecf69c4084b98090ce6ba8b3f98ce3ce /.scripts.d/10-check.sh
parenta575e280350013f1c5fc837af38bf268c9172b42 (diff)
downloadlanguagetool-3d3b0a86a824512b5bf89b0b8e3bd9837f927b15.tar.gz
Move build to Gitea
Diffstat (limited to '.scripts.d/10-check.sh')
-rw-r--r--.scripts.d/10-check.sh16
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 . \