tree 573cfdf69a06dc8d2744aae1dd06e081f5356af6
parent fab4b47537fb62a6a09f7c2ecb3545d707299a5a
author Avery Pennarun <apenwarr@gmail.com> 1343706239 -0400
committer Avery Pennarun <apenwarr@gmail.com> 1343706239 -0400

Add checkall/sshto scripts.

sshto: like 'ssh <hostname> <command>' but uses a configname instead of
a DNS hostname, and falls back to a serial port if the host isn't accessible
by network.

checkall: pings all configured hosts in parallel, and prints a one-liner
describing which hosts are up/down.  (Suitable for running in a loop to
monitor the status of your network.)

Change-Id: I40990fbb293e6c57870d7526575832dc93b16818