diff options
Diffstat (limited to 'radio.sh')
| -rwxr-xr-x | radio.sh | 52 | 
1 files changed, 0 insertions, 52 deletions
| diff --git a/radio.sh b/radio.sh deleted file mode 100755 index 31a5ac1..0000000 --- a/radio.sh +++ /dev/null @@ -1,52 +0,0 @@ -#!/bin/bash -# -# Start the encoder for the radio - -set -e - -source site/configuration.sh - -printerr() { -    echo -e "\033[01;31m$1\033[0m" -} - -printmsg() { -    echo -e "\033[01;32m$1\033[0m" -} - -script_pid=0 -sigint_trap() { -    printerr "Got Ctrl-C" -    if [[ "$script_pid" != "0" ]] ; then -        printmsg "killing radio encoder script $script_pid" -        kill -INT $script_pid -        script_pid=0 -        wait -    fi -} - -set -e - -# check number of arguments -if [[ "$#" -lt 1 ]] ; then -    echo "Usage $0 radio-id" -    echo "You must specify which radio to start" -    exit 1 -fi - -RADIO=$1 - -if [ "${radios[$RADIO]+_}" ] ; then -    COMMAND=${radios[$RADIO]} - -    trap sigint_trap SIGINT - -    # execute script -    $COMMAND & -    script_pid=$! -    wait -else -    echo "Radio $RADIO not defined in configuration" -    exit 1 -fi - | 
