From 583f39b0107e483c6b9db3136a28b2db6617d3dc Mon Sep 17 00:00:00 2001
From: gobo72 <gobo72@364a67c3-989e-7be9-548d-dae8560ea662>
Date: Sat, 10 Sep 2011 16:11:30 +0000
Subject: [PATCH] Don't put duplicate lines in the bash history.

---
 stage1/create-config-files | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/stage1/create-config-files b/stage1/create-config-files
index a57b0d2..cccefe7 100755
--- a/stage1/create-config-files
+++ b/stage1/create-config-files
@@ -38,8 +38,12 @@ PATH=/sbin:/usr/sbin:/bin:/usr/bin:/usr/local/bin:/tools/bin:/tools/sbin
 USER=`id -un`
 LOGNAME=$USER
 MAIL="/var/mail/$USER"
-HISTFILESIZE=1000
+
+# Don't put duplicate lines in the history.
+HISTCONTROL=ignoredups:ignorespace
+HISTFILESIZE=2000
 HISTSIZE=1000
+
 HOSTNAME=`hostname`
 EDITOR=_DEFAULT_EDITOR_
 CFLAGS="_DEFAULT_CFLAGS_"
-- 
2.20.1