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: [PATCH] bash: Disallow overwriting existing file using shell
 redirection

---
 .bashrc  | 2 ++
 .profile | 1 +
 2 files changed, 3 insertions(+)

diff --git a/.bashrc b/.bashrc
index 222a939..246780c 100644
--- a/.bashrc
+++ b/.bashrc
@@ -42,6 +42,8 @@ PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: $(b_prompt)\007"'
 echo -e "\033[6 q"              # non-blinking
 
 # various bash tweaks
+# disallow overwriting existing file using redirection
+set -o noclobber
 # append to the history file, don't overwrite it
 shopt -s histappend
 shopt -s cmdhist
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
-- 
2.20.1