gnss-sdr/utils/scripts/gnss-sdr-harness.sh

#!/bin/sh
# GNSS-SDR shell script that enables the remote GNSS-SDR restart telecommand
# usage: ./gnss-sdr-harness.sh ./gnss-sdr -c config_file.conf

# SPDX-FileCopyrightText: Javier Arribas <javier.arribas(at)cttc.es>
# SPDX-License-Identifier: GPL-3.0-or-later

echo "Executing" "$@"
"$@"
while [ $? -eq 42 ]
do
  echo "Restarting GNSS-SDR..."
  "$@"
done
Adding the restart telecommand functionality by using external helper startup script 2018-10-23 14:54:06 +00:00			`#!/bin/sh`
			`# GNSS-SDR shell script that enables the remote GNSS-SDR restart telecommand`
			`# usage: ./gnss-sdr-harness.sh ./gnss-sdr -c config_file.conf`
Make the software package compliant with the REUSE Specification v3.0 (see https://reuse.software/spec/) Update license headers to SPDX format (see https://spdx.org/) Add license to all files Add CI job in GitHub Actions to ensure compliance 2020-02-08 00:20:02 +00:00
			`# SPDX-FileCopyrightText: Javier Arribas <javier.arribas(at)cttc.es>`
			`# SPDX-License-Identifier: GPL-3.0-or-later`

Fix errors and warnings raised by ShellCheck 2022-08-03 08:43:03 +00:00			`echo "Executing" "$@"`
			`"$@"`
Adding the restart telecommand functionality by using external helper startup script 2018-10-23 14:54:06 +00:00			`while [ $? -eq 42 ]`
			`do`
Fix errors and warnings raised by ShellCheck 2022-08-03 08:43:03 +00:00			`echo "Restarting GNSS-SDR..."`
			`"$@"`
Adding the restart telecommand functionality by using external helper startup script 2018-10-23 14:54:06 +00:00			`done`