#! /bin/csh -f
set pid = `cat ~/.ssh/sshagent.pid`
kill -9 $pid
rm -f ~/.ssh/sshagent.pid
rm -f ~/.ssh/sshagent.cmds