From 6d8ad97ddd27ad87f07e5d84753754f95288ae5b Mon Sep 17 00:00:00 2001
From: Maximilian Friedersdorff <max@friedersdorff.com>
Date: Mon, 10 Jun 2019 15:04:29 +0100
Subject: [PATCH] Keep longer bash history for each shell

---
 states/bash/files/bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/states/bash/files/bashrc b/states/bash/files/bashrc
index 52753fa..639cca1 100644
--- a/states/bash/files/bashrc
+++ b/states/bash/files/bashrc
@@ -10,7 +10,7 @@ HISTCONTROL=ignoreboth
 shopt -s histappend
 
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
-HISTSIZE=1000
+HISTSIZE=20000
 HISTFILESIZE=20000
 
 # check the window size after each command and, if necessary,
-- 
2.45.2