diff rc/bashrc @ 462:a7e5a165e981

Hopefully better history stuff.
author Edho Arief <edho@myconan.net>
date Fri, 08 Mar 2013 15:58:25 +0900
parents 012baf74024c
children 9c9aeccbdadf
line wrap: on
line diff
--- a/rc/bashrc	Tue Mar 05 11:28:14 2013 +0900
+++ b/rc/bashrc	Fri Mar 08 15:58:25 2013 +0900
@@ -59,8 +59,9 @@
 
 shopt -s histappend
 PROMPT_COMMAND="history -a; history -n"
-export HISTFILESIZE=10000
-export HISTCONTROL=ignoredups
+export HISTFILESIZE=100000
+export HISTCONTROL=ignoreboth:erasedups
+export HISTSIZE=10000
 
 export PAGER=more
 export EDITOR=vi