#!/bin/bash
# Alex Dehnert

for hostname in "$@"; do
    echo
    echo Now checking $hostname
    echo Stella:
    stella $hostname.mit.edu
    echo Aliases
    athrun ops qy ghal $hostname.mit.edu \*
done

echo
echo For your copy/pasting convenience
echo Please be careful that this makes sense with the output above
echo
echo At your convenience, please make $@.mit.edu an alias of scripts-vhosts.mit.edu.
echo
for hostname in "$@"; do
    echo stella scripts-vhosts -a $hostname
done