This is an old revision of the document!
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
Sub-section Title
Section 1, sub-content.