From 71e5dd3ff61697c9f12917d9eb441da20b99556e Mon Sep 17 00:00:00 2001
From: Reiner Herrmann <reiner@reiner-h.de>
Date: Sun, 24 Mar 2019 18:02:05 +0100
Subject: bashrc: increase history size

---
 bashrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/bashrc b/bashrc
index 5fd174b..7c7fa5d 100644
--- a/bashrc
+++ b/bashrc
@@ -55,6 +55,11 @@ gitps='$(type -t __git_ps1 &>/dev/null && __git_ps1)'
 [ -n "$debian_chroot" ] && chroot="[$debian_chroot] "
 PS1=${TITLE}"($user_color\u$reset@$green\h$reset) $chroot\W$gitps$nrjobs $red\\\$$reset > "
 
+# history
+HISTCONTROL='ignoredups:erasedups'
+HISTSIZE=9999
+
+
 export PATH=~/Apps/bin:$PATH
 export EDITOR="/usr/bin/vim"
 export SSH_ASKPASS=/usr/lib/openssh/gnome-ssh-askpass
-- 
cgit v1.2.3