2024-08-23 19:55:31 -04:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
# history file settings
|
|
|
|
|
|
|
|
|
|
# don't add duplicate lines, lines starting with space to history
|
|
|
|
|
HISTCONTROL=ignoreboth
|
|
|
|
|
|
|
|
|
|
# append to the history file, don't overwrite it
|
|
|
|
|
shopt -s histappend
|
|
|
|
|
# eternal bash history
|
|
|
|
|
HISTFILESIZE=
|
|
|
|
|
HISTSIZE=
|
|
|
|
|
HISTTIMEFORMAT="[%F %T] "
|
|
|
|
|
HISTFILE=~/.cache/bash_history
|
2026-03-15 20:31:49 -04:00
|
|
|
if [ -z "$PROMPT_COMMAND" ]; then
|
|
|
|
|
PROMPT_COMMAND="history -a"
|
|
|
|
|
else
|
|
|
|
|
PROMPT_COMMAND="history -a; $PROMPT_COMMAND"
|
|
|
|
|
fi
|
