diff options
Diffstat (limited to '.profile')
-rw-r--r-- | .profile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -80,6 +80,7 @@ export PATH="$HOME/u/local/bin:$HOME/.local/bin:$PATH" # start an ssh-agent (with guix's openssh) if [ -z "$IS_GUIX_SYSTEM" ]; then if ! pgrep -u "$USER" ssh-agent > /dev/null; then + rm ~/.ssh-agent-thing ssh-agent > ~/.ssh-agent-thing fi if [[ ! "$SSH_AUTH_SOCK" ]]; then |