view .bash_logout @ 203:f163a6073c48

Merge shared connections into one; add proxyjump for home and a couple other nice options
author Steve Huston <huston@astro.princeton.edu>
date Tue, 24 Nov 2020 10:59:34 -0500
parents 6e7913283c7a
children 1be7d2e2b2a1
line wrap: on
line source

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