mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2024-10-29 22:26:22 +00:00
15 lines
358 B
Bash
Executable File
15 lines
358 B
Bash
Executable File
#!/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
|