From cd61ac46e8fa09a0f7d91e2ba69ddff03596ee3d Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Fri, 22 Nov 2013 16:13:48 +0100
Subject: [PATCH] Update shell history handling

Save more history to disk, and enable shell options "histverify"
and "histreedit".
---
 sys/bashrc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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() {
-- 
2.39.2