From 787b5ce75095d21fd09e706b40d9bab0f6af967f Mon Sep 17 00:00:00 2001
From: Mitch Riedstra <mitch@riedstra.us>
Date: Sat, 17 Oct 2020 22:39:44 -0400
Subject: Fix up bash history.

---
 mkshrc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'mkshrc')

diff --git a/mkshrc b/mkshrc
index e8410a6..32dbce5 100644
--- a/mkshrc
+++ b/mkshrc
@@ -605,7 +605,11 @@ elif	[ $SHELL = "/bin/sh" ] && [ "$(uname)" = "FreeBSD" ] ; then
 	set -o emacs
 	export PS1="$(whoami)"'@\h:\w \$ '
 elif	! [ -z "$BASH" ] ; then
-	export PROMPT_COMMAND="set_my_title"
+	HISTFILE="$HOME/.bash_history"
+	HISTSIZE=10000
+	HISTFILESIZE=10000
+	shopt -s histappend
+	export PROMPT_COMMAND="set_my_title;history -a; history -c; history -r"
 fi
 
 if [ $COLOR -eq 1 ] ; then
-- 
cgit v1.2.3