From 9e09d8f9470154e5d295fa24cb9668a84c1fac40 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Sun, 15 Jan 2017 00:40:57 +0100
Subject: [PATCH] make root's shell history contain more than 500 lines

---
 modules/debian-org/files/root-dotfiles/bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/debian-org/files/root-dotfiles/bashrc b/modules/debian-org/files/root-dotfiles/bashrc
index 2509d071e..048d94436 100644
--- a/modules/debian-org/files/root-dotfiles/bashrc
+++ b/modules/debian-org/files/root-dotfiles/bashrc
@@ -5,6 +5,7 @@
 
 if [ "$PS1" ]; then
   typeset HISTCONTROL=ignoreboth
+  typeset HISTSIZE=50000
 
   export LS_OPTIONS='--color=auto'
   eval "`dircolors`"
-- 
2.20.1