#!/bin/bash -e

name=${1:-$USER}

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