@ -3,7 +3,7 @@
# always save bash history before showing prompt; allow reloading bashrc
if [[ ! "$PROMPT_COMMAND" =~ "history -a" ]]; then
export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"
PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"
fi
# Disable capslock