diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2019-03-24 18:02:05 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2019-03-24 18:02:05 +0100 |
| commit | 71e5dd3ff61697c9f12917d9eb441da20b99556e (patch) | |
| tree | ccfc71975731d8b8061134b83fbb5cad6020bf0d | |
| parent | e9a8810aba7688ebf9c5776ae82331169dbc1d12 (diff) | |
bashrc: increase history size
| -rw-r--r-- | bashrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |