From 13e13d9cea89f29ee3a6a87159e6a915bf550de8 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Wed, 26 Sep 2018 21:12:23 -0700
Subject: Set bash history size limit

---
 home/.bashrc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'home')

diff --git a/home/.bashrc b/home/.bashrc
index a328f87..74d632c 100644
--- a/home/.bashrc
+++ b/home/.bashrc
@@ -16,8 +16,8 @@ HISTCONTROL=ignoreboth
 shopt -s histappend
 
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
-HISTSIZE=
-HISTFILESIZE=
+HISTSIZE=100000
+HISTFILESIZE=100000
 
 # check the window size after each command and, if necessary,
 # update the values of LINES and COLUMNS.
-- 
cgit v1.2.3