view .bash_logout @ 85:c75fecccc3e5

HG config changes: * Move hgeditor to .hgrc out of .bashrc * Create $HOST variable * $HOST-switched includes for fine tuning environments based on hostname
author Steve Huston <huston@astro.princeton.edu>
date Wed, 24 Apr 2013 14:18:18 -0400
parents ca6c77fe843b
children 6e7913283c7a
line wrap: on
line source

# $Id$
#
#if [ "$SSH_AGENT_PID" -a "$SHLVL" = "1" ] ; then
#  eval `/usr/bin/ssh-agent -k`
#fi