summaryrefslogtreecommitdiffstats
path: root/.profile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.profile1
1 files changed, 1 insertions, 0 deletions
diff --git a/.profile b/.profile
index 96c67fb..555bfb4 100644
--- a/.profile
+++ b/.profile
@@ -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