From 810676dd194159208f69671e4ab9a80539f8149d Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Mon, 12 Oct 2020 11:11:02 -0400
Subject: bash: Disallow overwriting existing file using shell redirection

---
 .profile | 1 +
 1 file changed, 1 insertion(+)

(limited to '.profile')

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
-- 
cgit v1.2.3-60-g2f50