# HG changeset patch
# User edogawaconan <me@myconan.net>
# Date 1387783284 -32400
# Node ID ffef7605f83336f0a22f191de2c1cf3a3cd3a197
# Parent  6bdf99bfbe979fab4917954182bf06f1f1b6b4eb
Don't autosync history. It's slow on big history.

diff -r 6bdf99bfbe97 -r ffef7605f833 rc/bashrc
--- 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