From 17fb9ddf5d20ac7714e76f48fee3e31dd6c9e93b Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sun, 2 Jul 2017 15:45:58 -0700
Subject: Remember all history

---
 home/.bashrc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/home/.bashrc b/home/.bashrc
index cc98b5b..616a037 100644
--- a/home/.bashrc
+++ b/home/.bashrc
@@ -17,7 +17,7 @@ shopt -s histappend
 
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
 HISTSIZE=
-HISTFILESIZE=2000
+HISTFILESIZE=
 
 # check the window size after each command and, if necessary,
 # update the values of LINES and COLUMNS.
@@ -117,3 +117,6 @@ if [ -d "$HOME/.bashrc.d" ]; then
 	. "$script"
     done
 fi
+
+# added by travis gem
+[ -f /home/jodersky/.travis/travis.sh ] && source /home/jodersky/.travis/travis.sh
-- 
cgit v1.2.3