#!/bin/bash -e

name=${1:-$USER}

#KRB5CCNAME="/tmp/athcc_`echo $name | sed 's/\\//./g'`"
kinit -45 $name@ATHENA.MIT.EDU
aklog athena.mit.edu
aklog sipb.mit.edu
aklog csail.mit.edu
#echo Tickets cached in $KRB5CCNAME