SCSH_DIR=$HOME/.ssh/scsh if [ -n "$SCSH_AGENT" -a ! -e $SCSH_DIR/$SCSH_AGENT.pid ] then echo $$ > $SCSH_DIR/$SCSH_AGENT.pid trap "[ -e $SCSH_DIR/$SCSH_AGENT ] && . $SCSH_DIR/$SCSH_AGENT" 10 trap "rm -f $SCSH_DIR/$SCSH_AGENT*" EXIT fi