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

# 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=1000000
export HISTSIZE=1000000

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

# Record timestamps
export HISTTIMEFORMAT='%F %T '