diff --git a/bash/options b/bash/options new file mode 100755 index 0000000..941de9c --- /dev/null +++ b/bash/options @@ -0,0 +1,17 @@ +# put history in .bash +export HISTFILE="${HOME}/.bash/.history" + +# don't put duplicate lines in the history. See bash(1) for more options +# don't overwrite GNU Midnight Commander's setting of `ignorespace'. +export HISTCONTROL=$HISTCONTROL${HISTCONTROL+,}ignoredups +# ... or force ignoredups and ignorespace +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 diff --git a/bashrc b/bashrc index 3569802..6e4d68d 100644 --- a/bashrc +++ b/bashrc @@ -3,21 +3,6 @@ # If not running interactively, don't do anything [ -z "$PS1" ] && return -# don't put duplicate lines in the history. See bash(1) for more options -# don't overwrite GNU Midnight Commander's setting of `ignorespace'. -export HISTCONTROL=$HISTCONTROL${HISTCONTROL+,}ignoredups -# ... or force ignoredups and ignorespace -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 - if [[ -d "${HOME}/.commonsh" ]] ; then for file in "${HOME}"/.commonsh/* ; do source $file