From: Alexander Barton <alex@barton.de>
Date: Fri, 22 Nov 2013 15:13:48 +0000 (+0100)
Subject: Update shell history handling
X-Git-Url: https://arthur.barton.de/cgi-bin/gitweb.cgi?p=ConfigScripts.git;a=commitdiff_plain;h=cd61ac46e8fa09a0f7d91e2ba69ddff03596ee3d

Update shell history handling

Save more history to disk, and enable shell options "histverify"
and "histreedit".
---

diff --git a/sys/bashrc b/sys/bashrc
index c19746b..91e94a4 100644
--- a/sys/bashrc
+++ b/sys/bashrc
@@ -1,6 +1,6 @@
 #
 # /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 ..."
@@ -23,6 +23,8 @@ alias "l"="ll -a"
 set mark-directories on
 set mark-symlinked-directories on
 HISTCONTROL=ignoredups
+HISTSIZE=500
+HISTFILESIZE=2000
 
 # Shell prompt
 PS1="\u@\h:\w \$ "
@@ -37,6 +39,8 @@ esac
 shopt -s checkwinsize
 shopt -s cdspell
 shopt -s histappend
+shopt -s histreedit
+shopt -s histverify
 
 # Shell functions
 sshnew() {