From 9b3ce12bea2d3abc1e8bb2f982912acc51dc465a Mon Sep 17 00:00:00 2001
From: Rodolphe Breard <rodolphe@what.tf>
Date: Mon, 1 Apr 2013 22:18:46 +0200
Subject: [PATCH] bash: don't save lines matching the previous history entry

---
 .bashrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.bashrc b/.bashrc
index 17ad9a3..9326c3c 100644
--- a/.bashrc
+++ b/.bashrc
@@ -23,6 +23,9 @@ eval $(dircolors -b)
 # append to the history file, don't overwrite it
 shopt -s histappend
 
+# don't save lines matching the previous history entry
+export HISTCONTROL=ignoredups
+
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
 
 # check the window size after each command and, if necessary,