check-host

   1 #!/bin/bash
   2 # Alex Dehnert
   3
   4 for hostname in "$@"; do
   5     echo
   6     echo Now checking $hostname
   7     echo Stella:
   8     stella $hostname.mit.edu
   9     echo Aliases
  10     athrun ops qy ghal $hostname.mit.edu \*
  11 done