2022-04-18 00:14:34 +01:00
|
|
|
## File: ~/.bashrc.d/history
|
|
|
|
|
## Description: Configuration for Bash history
|
|
|
|
|
## vim: ft=sh :
|
|
|
|
|
|
|
|
|
|
# The name of the history file.
|
2022-05-02 13:30:43 +01:00
|
|
|
HISTFILE=${XDG_STATE_HOME}/bash/history
|
2022-04-18 00:14:34 +01:00
|
|
|
|
|
|
|
|
# Don't put duplicate lines or lines starting with space in the history.
|
|
|
|
|
HISTCONTROL=ignoreboth
|
|
|
|
|
|
|
|
|
|
# The maximum number of lines in the history file.
|
|
|
|
|
HISTFILESIZE=10000
|
|
|
|
|
|
|
|
|
|
# The number of commands to remember in the command history.
|
|
|
|
|
HISTSIZE=1000
|
|
|
|
|
|
|
|
|
|
# Display the timestamp of each command in history using the below format.
|
|
|
|
|
HISTTIMEFORMAT="%d/%m/%y %T: "
|
|
|
|
|
|
|
|
|
|
# Append to the history file, don't overwrite it.
|
|
|
|
|
shopt -s histappend
|
