.bash_options

# ~/.bash_options
# Define Bash options.
# Invoked by .bash_profile file.

# don't put duplicate lines or lines starting with space in the history.
# See bash(1) for more options
HISTCONTROL=ignoreboth

# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=100000
# Keep around 64K lines of history in file.
HISTFILESIZE==$((1 << 16))

# Keep the times of the commands in history
HISTTIMEFORMAT='%F %T'

# Use a more compact format for the 'time' builtin's output.
TIMEFORMAT='real:%lR user:%lU sys:%lS'

# check the window size after each command and, if necessary,
# update the values of LINES and COLUMNS.
shopt -s checkwinsize

# Correct small errors in directory names given to the `cd` buildtin.
shopt -s cdspell

# Check that hashed commands still exist before running them.
shopt -s checkhash

# Update LINES and COLUMNS after each command if necessary.
shopt -s checkwinsize

# Put multi-line commands into one history entry.
shopt -s cmdhist

# Include filenames with leading dots in pattern matching.
#shopt -s dotglob

# Expand aliases in shell scripts.
shopt -s expand_aliases

# Enable extended globbing: !(foo), ?(bar|baz)...
# If set, the extended pattern matching features are enabled.
# @see: http://wiki.bash-hackers.org/syntax/pattern
shopt -s extglob

# Append to the history file ($HISTFILE), don't overwrite it.
shopt -s histappend

# If history expansion fails, reload the command to try again.
shopt -s histreedit

# Load history expansion result as the next command, don't run them directly.
shopt -s histverify

# Don't assume a word with a @ in it is a hostname.
shopt -u hostcomplete

# Don't change newlines to semicolons in history.
shopt -s lithist

# Don't try to tell me when my mail is read.
shopt -u mailwarn

# Don't complete a Tab press on an empty line with every possible command.
shopt -s no_empty_cmd_completion

# Use programmable completion, if available.
shopt -s progcomp

# Warn me if I try to shift nonexistent values off an array.
shopt -s shift_verbose

# Don't search $PATH to find files for the `source` builtin.
shopt -u sourcepath

# Enable programmable completion features (you don't need to enable this,
# if it's already enabled in /etc/bash.bashrc and /etc/profile
# sources /etc/bash.bashrc).
if ! shopt -oq posix; then
  if [ -f /usr/share/bash-completion/bash_completion ]; then
    . /usr/share/bash-completion/bash_completion
  elif [ -f /etc/bash_completion ]; then
    . /etc/bash_completion
  fi
fi

# These options only exist since Bash 4.0-alpha
if ((BASH_VERSINFO[0] >= 4)) ; then

    # Correct small errors in directory names during completion
    shopt -s dirspell

    # Allow double-star globs to match files and recursive paths.
		# If set, the pattern "**" used in a pathname expansion context will
		# match all files and zero or more directories and subdirectories.
    shopt -s globstar

    # Warn me about stopped jobs when exiting
    # Available since 4.0, but only set it if >=4.1 due to bug:
    # <https://lists.gnu.org/archive/html/bug-bash/2009-02/msg00176.html>
    ((BASH_VERSINFO[1] >= 1)) && shopt -s checkjobs

    # Expand variables in directory completion
    # Only available since 4.3
    ((BASH_VERSINFO[1] >= 3)) && shopt -s direxpand
fi