====== Bash History ====== **General Information** Bash configuration to make history more usable. ---- ====== bashrc changes ====== 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' ----