view .bash_logout @ 200:7d3fe7399566

SSH isn't working as I expected, but this seems to still do the trick
author Steve Huston <huston@srhuston.net>
date Fri, 23 Oct 2020 09:27:10 -0400
parents 6e7913283c7a
children 1be7d2e2b2a1
line wrap: on
line source

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