annotate .bash_logout @ 14:94cfcec3b5b6

When bash is called non-interactively, PS1 is unset. However, if it's a login shell, ~/.bash_profile is still sourced. Therefore, testing PS1 tells us if this is a login but non-interactive shell (such as: ssh host 'uptime'). Testing PS1 before setting it preserves that state for later tests if desired.
author huston@80426f53-59d1-405d-934b-f07cd76f4a1a
date Sun, 30 Aug 2009 06:49:10 +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