commit 92ad58e31eb03d7882079279cd75f7b813cc13b0
parent 5f8be17150218cd0924a865d085704cc1cd17902
Author: Remy Noulin <loader2x@gmail.com>
Date: Fri, 17 Aug 2018 16:56:44 +0200
remove duplicated lines in .bashrc
dotfiles/.bashrc | 4 ----
1 file changed, 4 deletions(-)
Diffstat:
1 file changed, 0 insertions(+), 4 deletions(-)
diff --git a/dotfiles/.bashrc b/dotfiles/.bashrc
@@ -5,10 +5,6 @@
# If not running interactively, don't do anything
[ -z "$PS1" ] && return
-# don't put duplicate lines or lines starting with space in the history.
-# See bash(1) for more options
-HISTCONTROL=ignoreboth
-
# append to the history file, don't overwrite it
shopt -s histappend
