From: Amin Bandali <bandali@gnu.org>
Date: Mon, 12 Oct 2020 15:11:02 +0000 (-0400)
Subject: bash: Disallow overwriting existing file using shell redirection
X-Git-Url: https://git.shemshak.org/~bandali/configs/commitdiff_plain/810676dd194159208f69671e4ab9a80539f8149d?hp=1f5c92ffb2a1c3cb52b01195e664876be7b69047

bash: Disallow overwriting existing file using shell redirection
---

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