0
@@ -28,7 +28,12 @@ fi
0
 
0
 # MySql
0
 if [ -d /usr/local/mysql/bin ] ; then
0
-  PATH="${PATH}:/usr/local/mysql/bin"
0
+  PATH="/usr/local/mysql/bin:${PATH}"
0
+fi
0
+
0
+# Ant
0
+if [ -d /opt/ant ] ; then
0
+  PATH="/opt/ant/bin:${PATH}"
0
 fi
0
 
0
 # PostgreSQL
0
@@ -101,9 +106,35 @@ shopt -s extglob
0
 shopt -s checkwinsize
0
 
0
 export PAGER="less"
0
-export HISTIGNORE="&:pwd:ls:ll:lal:[bf]g:exit:rm*:sudo rm*"
0
 export EDITOR="vi"
0
 
0
+
0
+
0
+############################################################
0
+## History
0
+############################################################
0
+
0
+# when you exit a shell, the history from that session is appended to ~/.bash_history.
0
+# Without this, you might very well lose the history of entire sessions (weird that this is not enabled by default).
0
+shopt -s histappend
0
+
0
+export HISTIGNORE="&:pwd:ls:ll:lal:[bf]g:exit:rm*:sudo rm*"
0
+# remove duplicates from the history (when a new item is added)
0
+export HISTCONTROL=erasedups
0
+# increase the default size from only 1,000 items
0
+export HISTSIZE=10000
0
+
0
+# By default up/down are bound to previous-history
0
+# and next-history respectively. The following does the
0
+# same but gives the extra functionality where if you
0
+# type any text (or more accurately, if there is any text
0
+# between the start of the line and the cursor),
0
+# the subset of the history starting with that text
0
+# is searched.
0
+bind '"\e[A"':history-search-backward
0
+bind '"\e[B"':history-search-forward
0
+
0
+
0
 ############################################################
0
 ## Aliases
0
 ############################################################