#!/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" | |
) |