From 6e257e9a7d0285e071bed91050512d597833d536 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Mon, 15 Sep 2014 21:28:06 +0300
Subject: [PATCH] .bashrc: Turn off history stuff

It's annoying any really doesn't work.  Better to just remember
each terminal's own history.

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 bf2c8d2..b502ff4 100644
--- a/.bashrc
+++ b/.bashrc
@@ -19,8 +19,7 @@ TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
 HISTCONTROL=ignoreboth
 # ignore common commands in bash history
 HISTIGNORE='ls:bg:fg:history'
-# save history after every command (and set term title)
-PROMPT_COMMAND="history -a; history -c; history -r; $TITLEBAR"
+PROMPT_COMMAND="$TITLEBAR"
 
 # If a private bin directory exists, add it to PATH
 [[ -d ~/bin ]] && PATH="$PATH:~/bin"