diff options
Diffstat (limited to '.bash_profile')
| -rw-r--r-- | .bash_profile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.bash_profile b/.bash_profile index f9b3910..55c8ca3 100644 --- a/.bash_profile +++ b/.bash_profile @@ -44,11 +44,6 @@ if [ -z "$SSH_AUTH_SOCK" ]; then SSH_AUTH_SOCK=$(gpgconf --list-dirs agent-ssh-socket) export SSH_AUTH_SOCK fi -# Clean up sockets on logout to avoid gpg warning -# Warning: remote port forwarding failed for listen path -if [ -n "$SSH_CONNECTION" ]; then - trap 'rm -f /run/user/$(id -u)/gnupg/S.* 2>/dev/null' EXIT -fi # ==== Shell Opts shopt -s checkwinsize # check the window size after each command and, if necessary, update LINES/COLUMNS |