From a945112617e8e4bda420e04f59363fab1110285d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Diemer?= <stephane.diemer@ubicast.eu>
Date: Wed, 12 Apr 2017 09:21:24 +0200
Subject: [PATCH] Changed bash history lenght.

---
 1.Base/1.Utilities/bashrc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/1.Base/1.Utilities/bashrc b/1.Base/1.Utilities/bashrc
index 4ab11206..49bf8a18 100644
--- a/1.Base/1.Utilities/bashrc
+++ b/1.Base/1.Utilities/bashrc
@@ -14,8 +14,9 @@ HISTCONTROL=ignoredups:ignorespace
 shopt -s histappend
 
 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
-HISTSIZE=10000
-HISTFILESIZE=20000
+HISTSIZE=100000
+HISTFILESIZE=100000
+HISTTIMEFORMAT='%F %T '
 
 # check the window size after each command and, if necessary,
 # update the values of LINES and COLUMNS.
-- 
GitLab