diff --git a/src/utils/scripts/download-galileo-almanac.sh b/src/utils/scripts/download-galileo-almanac.sh index 56202f65b..43b6621b6 100755 --- a/src/utils/scripts/download-galileo-almanac.sh +++ b/src/utils/scripts/download-galileo-almanac.sh @@ -35,16 +35,11 @@ help() echo " ./download-galileo-almanac.sh -rd 2022-03-15 # Gets Galileo Almanac XML file for that day, stores it as gal_almanac.xml" } -if (([ "$1" = "-h" ]) || ([ "$1" = "--help" ])) ; then +if [ "$1" = "-h" ] || [ "$1" = "--help" ] ; then help exit 0 fi -RENAME="" -if (([ "$1" = "-r" ]) || ([ "$1" = "--rename" ])) ; then - RENAME=" -O gal_almanac.xml " -fi - BASE_URL="https://www.gsc-europa.eu/sites/default/files/sites/all/files/" YEAR=$(date '+%Y') SPACING="-" @@ -57,7 +52,7 @@ TERMINATION2=".xml" COUNTER=1 MAX_COUNTER=7 -if (([ "$1" = "-d" ]) || ([ "$1" = "--date" ])) ; then +if [ "$1" = "-d" ] || [ "$1" = "--date" ] ; then if wget "$BASE_URL$2$TERMINATION2" >/dev/null 2>&1 ; then echo "Downloaded latest Galileo almanac from $BASE_URL$2$TERMINATION2" exit 0 @@ -78,12 +73,16 @@ else echo "According to system time, today is $(date '+%Y-%m-%d'). Searching for the latest Galileo almanac ..." fi +if [ "$1" = "-r" ] || [ "$1" = "--rename" ]; then + RENAME="yes" +fi + lowercase() { echo "$1" | sed "y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/" } -OS=`lowercase \`uname\`` +OS=$(lowercase "$(uname)") date_before() { @@ -96,16 +95,21 @@ date_before() MONTH=$(date -d "$COUNTER day ago" '+%m') DAY=$(date -d "$COUNTER day ago" '+%d') fi - COUNTER=$(($COUNTER+1)) + COUNTER=$((COUNTER+1)) } +download_rename_file() +{ + [ "$RENAME" = "yes" ] && set -- -O gal_almanac.xml "$@" + wget "$@" +} try_download() { while [ $COUNTER -le $MAX_COUNTER ] do url="$BASE_URL$YEAR$SPACING$MONTH$SPACING$DAY$TERMINATION2" - if wget $RENAME $url >/dev/null 2>&1 ; then + if download_rename_file "$url" >/dev/null 2>&1 ; then echo "Downloaded latest Galileo almanac from $url" exit 0 else @@ -115,9 +119,8 @@ try_download() done } - url="$BASE_URL$YEAR$SPACING$MONTH$SPACING$DAY$TERMINATION1" -if wget $RENAME $url >/dev/null 2>&1 ; then +if download_rename_file "$url" >/dev/null 2>&1 ; then echo "Downloaded latest Galileo almanac from $url" else try_download diff --git a/src/utils/scripts/gnss-sdr-harness.sh b/src/utils/scripts/gnss-sdr-harness.sh index 122fdafc5..b3d823333 100755 --- a/src/utils/scripts/gnss-sdr-harness.sh +++ b/src/utils/scripts/gnss-sdr-harness.sh @@ -5,10 +5,10 @@ # SPDX-FileCopyrightText: Javier Arribas # SPDX-License-Identifier: GPL-3.0-or-later -echo $@ -$@ +echo "Executing" "$@" +"$@" while [ $? -eq 42 ] do - echo "restarting GNSS-SDR..." - $@ + echo "Restarting GNSS-SDR..." + "$@" done