annotate .bash_logout @ 4:6ffd3fb73f7f

s/\~\//\$HOME\//g - There's possibly a nicer way to make sure tilde expansion is done in the right places, but this works just as well and doesn't require extra thinking when I'm half asleep :P Added (^|:) to start, and ($|:) to end of all tests to make sure we're matching a full path. Also test for (and append if not there) a ':' at the end of $MANPATH; otherwise Linux systems tend to forget how to search system paths.
author huston@80426f53-59d1-405d-934b-f07cd76f4a1a
date Sat, 11 Apr 2009 06:54:02 +0000
parents c78481cfb082
children f65964738bab
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
c78481cfb082 Initial checkin:
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
diff changeset
1 #if [ "$SSH_AGENT_PID" -a "$SHLVL" = "1" ] ; then
c78481cfb082 Initial checkin:
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
diff changeset
2 # eval `/usr/bin/ssh-agent -k`
c78481cfb082 Initial checkin:
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
diff changeset
3 #fi