From e2e131a370773faa97482dd95a5192553b932ff7 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Wed, 30 Apr 2014 10:52:17 +0300
Subject: [PATCH] .bashrc: Disable aggressive history rewriting

Doesn't quite work the way you'd expect, need to find time to play
with this more.

Signed-off-by: Alan Orth <alan.orth@gmail.com>
---
 .bashrc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.bashrc b/.bashrc
index 84bf8df..347ac59 100644
--- a/.bashrc
+++ b/.bashrc
@@ -15,8 +15,7 @@ export EDITOR=/usr/bin/vim
 export PAGER=/usr/bin/less
 # sequence to set the terminal title to "user@hostname: pwd"
 TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
-# Aggressive read/write of history after every command
-PROMPT_COMMAND="$TITLEBAR; history -a; history -n"
+PROMPT_COMMAND="$TITLEBAR"
 # don't add commands starting with space to the history
 HISTCONTROL=ignorespace