diff options
| author | Amin Bandali <bandali@gnu.org> | 2020-10-12 11:11:02 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2020-10-12 11:11:02 -0400 |
| commit | 810676dd194159208f69671e4ab9a80539f8149d (patch) | |
| tree | 3e05152deb395e554dd9a6f267b50acebacd42ba | |
| parent | 1f5c92ffb2a1c3cb52b01195e664876be7b69047 (diff) | |
| download | configs-810676dd194159208f69671e4ab9a80539f8149d.tar.gz configs-810676dd194159208f69671e4ab9a80539f8149d.tar.xz configs-810676dd194159208f69671e4ab9a80539f8149d.zip | |
bash: Disallow overwriting existing file using shell redirection
| -rw-r--r-- | .bashrc | 2 | ||||
| -rw-r--r-- | .profile | 1 |
2 files changed, 3 insertions, 0 deletions
@@ -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 @@ -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 |