bash_options

# Shell options.

# Include dot (.) files in the results of expansion.
#shopt -s dotglob

# Case-insensitive matching for filename expansion.
shopt -s nocaseglob

# Enable extended pattern matching.
shopt -s extglob

# When running two bash windows, allow both to write to the history, not one
# stomping the other.
shopt -s histappend

# Keep multiline commands as one command in history.
shopt -s cmdhist

#set nobeep

# Don't put duplicate lines in the history
export HISTCONTROL=ignoredups

# Ignore successive duplicate entries.
export HISTCONTROL=ignoreboth

# Store a lot of history entries in a file for grep-age
shopt -s histappend

export HISTFILE=~/long_history
export HISTFILESIZE=100000

# No reason not to save a bunch in history
# Takes up several more MBs of RAM now, oOOOooh
export HISTSIZE=20000

# Ignore dupe commands and other ones you don't care about
export HISTIGNORE="&:[ ]*:exit:ls:pwd:[bf]g"

# Old way to save history across multiple sessions.
#export PROMPT_COMMAND="history -a; history -n; $PROMPT_COMMAND"