annotate .bash_logout @ 210:25e7a79f5ba0

Better update to TOhtml
author Steve Huston <huston@astro.princeton.edu>
date Wed, 06 Jan 2021 12:08:28 -0500
parents 6e7913283c7a
children 1be7d2e2b2a1
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
30
ca6c77fe843b * Whitespace (ugh)
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents: 19
diff changeset
2 # eval `/usr/bin/ssh-agent -k`
0
c78481cfb082 Initial checkin:
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
diff changeset
3 #fi