bash: Disallow overwriting existing file using shell redirection

diff --git a/.bashrc b/.bashrc
index 222a939..246780c 100644 (file)
--- 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 (file)
--- 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