Save more history to disk, and enable shell options "histverify"
and "histreedit".
#
# /etc/bash.bashrc: System-wide rc file for interactive bash(1) shells.
-# Written 2003-2012 by Alexander Barton (alex@barton.de)
+# Written 2003-2013 by Alexander Barton (alex@barton.de)
#
[ -e ~/.ConfigScripts.debug ] && echo " >> /etc/bash.bashrc ..."
set mark-directories on
set mark-symlinked-directories on
HISTCONTROL=ignoredups
+HISTSIZE=500
+HISTFILESIZE=2000
# Shell prompt
PS1="\u@\h:\w \$ "
shopt -s checkwinsize
shopt -s cdspell
shopt -s histappend
+shopt -s histreedit
+shopt -s histverify
# Shell functions
sshnew() {