manager/files/bash/bashrc.d/history
Dan Anglin 903e5d8b66
checkpoint: manage home directories
- ensure configured home directories are present and their mode set to
  0700
- move dotfiles to files
- added JSON config
2024-09-09 18:02:53 +01:00

21 lines
587 B
Bash

## File: ~/.bashrc.d/history
## Description: Configuration for Bash history
## vim: ft=sh :
# The name of the history file.
HISTFILE=${XDG_STATE_HOME}/bash/history
# 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