dots/bash/options

# put history in .bash
export HISTFILE="${HOME}/.bash/.history"

export HISTSIZE=1000

# ignore both duplicates and whitespace in history
export HISTCONTROL=ignoreboth

# append to the history file, don't overwrite it
shopt -s histappend

# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)

# check the window size after each command and, if necessary,
# update the values of LINES and COLUMNS.
shopt -s checkwinsize
clean up bash options 2009-01-13 17:19:13 -05:00			`# put history in .bash`
			`export HISTFILE="${HOME}/.bash/.history"`

add support for a HISTSIZE in bash 2009-01-14 22:12:55 -05:00			`export HISTSIZE=1000`

clean up bash options 2009-09-13 13:33:03 -05:00			`# ignore both duplicates and whitespace in history`
clean up bash options 2009-01-13 17:19:13 -05:00			`export HISTCONTROL=ignoreboth`

			`# append to the history file, don't overwrite it`
			`shopt -s histappend`

			`# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)`

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