#!/bin/bash

lname=$1
shift

extra=
if [ "$1" = "-t" ]; then
    extra=-t
    shift
fi

exec ssh \
	-o GSSAPIAuthentication=yes \
	-o GSSAPIDelegateCredentials=no \
	-o PreferredAuthentications=gssapi-with-mic \
	-o ForwardX11=no \
	-o GlobalKnownHostsFile=/afs/athena.mit.edu/contrib/scripts/etc/known_hosts \
	-o UserKnownHostsFile=/dev/null \
	$extra \
	scripts.mit.edu -l "$lname" "$(printf "''%q " "$@")"

# ssh gets quoting wrong, so we do it ourself with printf "%q ".
# Except bash 2 gets printf "%q " wrong for empty arguments, so we use
# printf "''%q " instead.
# Isn't software fun?