Publish script: check that all required commands are available

2022-01-08 16:40:21 +01:00
parent 9693fd2d74
commit 896f50eeb9
1 changed files with 2 additions and 0 deletions
--- a/extras/scripts/publish.sh
+++ b/extras/scripts/publish.sh
@ -2,6 +2,8 @@

 set -eu

+which awk sed jq 7z curl perl >/dev/null
+
 cd "$(dirname "$0")/../.."

 if ! git diff --quiet --exit-code; then