General Information

Bash configuration to make history more usable.

Changes to ~/.bashrc

# Append to history, don't over write
shopt -s histappend
 
# Increase history size
HISTSIZE=100000
 
# Ignore duplicate lines and lines that start with a space
HISTCONTROL=ignoreboth
 
# Format history with full date and time
HISTTIMEFORMAT='%F %T '
 
# Save history after each command
PROMPT_COMMAND='history -a'