diff rc/bashrc @ 497:ffef7605f833

Don't autosync history. It's slow on big history.
author edogawaconan <me@myconan.net>
date Mon, 23 Dec 2013 16:21:24 +0900
parents e3648f0482e5
children 257ad2cfb965
line wrap: on
line diff
--- a/rc/bashrc	Fri Dec 20 20:17:21 2013 +0900
+++ b/rc/bashrc	Mon Dec 23 16:21:24 2013 +0900
@@ -53,10 +53,15 @@
 unalias -a
 
 shopt -s histappend
-PROMPT_COMMAND="history -a; history -n"
 export HISTFILESIZE=100000
 export HISTCONTROL=ignoreboth:erasedups
 export HISTSIZE=10000
+hsync() {
+  printf "%s" "Synchronizing history..."
+  history -a
+  history -n
+  printf "%s\n" done
+}
 
 export PAGER=more
 export EDITOR=vi