Handle the case where $HOME has a trailing slash.

[profile.git] / .profile.d / bash3.bashrc

diff --git a/.profile.d/bash3.bashrc b/.profile.d/bash3.bashrc
index 800bb26..97e3e67 100644 (file)
--- a/.profile.d/bash3.bashrc
+++ b/.profile.d/bash3.bashrc
@@ -1,5 +1,4 @@
-# $Id$
-#export HISTCONTROL=ignoredups
-export HISTTIMEFORMAT='[%Y-%m-%d %H:%M:%S] '
-export HISTFILESIZE=3000
-export HISTSIZE=1000
+HISTCONTROL=ignoredups
+HISTTIMEFORMAT='[%Y-%m-%d %H:%M:%S] '
+HISTFILESIZE=3000
+HISTSIZE=1000