From 066f5a99a294bed7cbd9d2a50bcf370441bba2cd Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Sat, 17 May 2014 22:34:12 +0300
Subject: [PATCH] .bashrc: ignorespace -> ignoreboth

ignoreboth will ignore commands starting with space as well as dup-
licate commands.

Signed-off-by: Alan Orth <alan.orth@gmail.com>
---
 .bashrc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.bashrc b/.bashrc
index b199715..acfc10d 100644
--- a/.bashrc
+++ b/.bashrc
@@ -16,8 +16,8 @@ export PAGER=/usr/bin/less
 # sequence to set the terminal title to "user@hostname: pwd"
 TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
 PROMPT_COMMAND="$TITLEBAR"
-# don't add commands starting with space to the history
-HISTCONTROL=ignorespace
+# ignore commands starting with space and duplicates
+HISTCONTROL=ignoreboth
 # ignore common commands in bash history
 HISTIGNORE='ls:bg:fg:history'