Force bash history to be flushed before executing commands

2026-06-26 08:43:19 +00:00 · 2018-04-18 13:19:51 +02:00
parent 8e8963b0f8
commit 117e7ffc18
2 changed files with 23 additions and 8 deletions
@@ -0,0 +1,20 @@
+_postcmd() 
+{
+    AT_PROMPT=1
+    history -a
+}
+PROMPT_COMMAND="_postcmd"
+
+_precmd()
+{
+    [ -z "$AT_PROMPT" ] && return
+    unset AT_PROMPT
+    history -a
+}
+trap _precmd DEBUG
+
+shopt -s cmdhist
+shopt -s histappend
+unset HISTCONTROL
+export HISTFILESIZE=1000
+export HISTSIZE=1000