Add shell linting and tidying and update all shell scripts

2024-05-18 12:09:08 +08:00
parent c464bd9469
commit 9b467e6799
9 changed files with 69 additions and 33 deletions
--- a/set-build-command.sh
+++ b/set-build-command.sh
@@ -1,9 +1,12 @@
+#!/bin/bash
+
 set -e
 set -x
+set -o pipefail

 CROSS_DIR="$1"
 if [ -f "$CROSS_DIR/cross" ]; then
-    echo "build-command=$CROSS_DIR/cross" >> $GITHUB_OUTPUT
+    echo "build-command=$CROSS_DIR/cross" >>"$GITHUB_OUTPUT"
 else
-    echo "build-command=cargo" >> $GITHUB_OUTPUT
+    echo "build-command=cargo" >>"$GITHUB_OUTPUT"
 fi