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