Don't put duplicate lines in the bash history.

diff --git a/stage1/create-config-files b/stage1/create-config-files
index a57b0d2..cccefe7 100755 (executable)
--- 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_"