#!/bin/bash -e

name=${1:-$USER}

KRB5CCNAME="/tmp/cscc_${UID}_`echo $name | sed 's/\\//./g'`"
kinit -5 $name@CSAIL.MIT.EDU
aklog csail.mit.edu -k CSAIL.MIT.EDU
#echo Tickets cached in $KRB5CCNAME