changeset 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 6bdf99bfbe97
children 257ad2cfb965
files rc/bashrc
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
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