blob: bd5aa406894fb7ac1cc2fb72f01409725017fdd0 [file] [log] [blame]
#!/bin/sh
#
# Display a one-line overview of whether each device is up.
#
mydir=$(dirname "$0")
cd "$mydir"
hosts=$(./config)
out=
./run $hosts -- 'ping -c1 -w1 -n $ip >/dev/null && echo yes || echo no' |
sort | (
while read name ok; do
case "$ok" in
yes) out="$out${name%:} " ;;
no) out="$out^${name%:} " ;;
*) ( echo; echo "Unexpected: '$name' '$ok'" ) >&2 ;;
esac
done
echo "$out"
)