[ -z "$2" ] && echo "usage $0 <host> <session> [<args>]" && exit 1
HOST=$1
shift
exec ssh -t $HOST session "$@"

