[scripts] format bash scripts

This commit is contained in:
Armin Novak
2025-05-14 09:42:23 +02:00
parent 30c2744151
commit 6f95c84592
3 changed files with 10 additions and 14 deletions

View File

@@ -4,8 +4,7 @@ SCRIPT_NAME="${BASH_SOURCE[0]}"
SCRIPT_PATH=$(dirname "${BASH_SOURCE[0]}") SCRIPT_PATH=$(dirname "${BASH_SOURCE[0]}")
SCRIPT_PATH=$(realpath "$SCRIPT_PATH") SCRIPT_PATH=$(realpath "$SCRIPT_PATH")
if [ $# -ne 1 ]; if [ $# -ne 1 ]; then
then
echo "$0 <reference commit or tag>" echo "$0 <reference commit or tag>"
exit 1 exit 1
fi fi

View File

@@ -25,7 +25,6 @@ if [ $# -ne 0 ]; then
fi fi
fi fi
SCRIPTS=$(find ${SRC_PATH} -name "*.sh" -not -path "${SRC_PATH}/.git/*") SCRIPTS=$(find ${SRC_PATH} -name "*.sh" -not -path "${SRC_PATH}/.git/*")
for script in $SCRIPTS; do for script in $SCRIPTS; do
echo $script echo $script

View File

@@ -96,11 +96,9 @@ function do_download {
dir=$4 dir=$4
if [ ! -f $file ]; then if [ ! -f $file ]; then
if command -v curl 2>&1 >/dev/null if command -v curl 2>&1 >/dev/null; then
then
curl -o $file $url/$file curl -o $file $url/$file
elif command -v wget 2>&1 >/dev/null elif command -v wget 2>&1 >/dev/null; then
then
wget -O $file $url/$file wget -O $file $url/$file
else else
echo "Could not find wget or curl, exiting" echo "Could not find wget or curl, exiting"
@@ -109,7 +107,7 @@ function do_download {
fi fi
if [ ! -f $file.sha256sum ]; then if [ ! -f $file.sha256sum ]; then
echo "$hash $file" > $file.sha256sum echo "$hash $file" >$file.sha256sum
fi fi
sha256sum -c $file.sha256sum sha256sum -c $file.sha256sum