|
|
@ -1,16 +1,19 @@ |
|
|
|
# don't put duplicate lines in the history. See bash(1) for more options |
|
|
|
export HISTCONTROL=ignoredups |
|
|
|
export HISTSIZE=10000 |
|
|
|
export HISTFILESIZE=120000 |
|
|
|
export HISTSIZE=-1 |
|
|
|
export HISTFILESIZE=-1 |
|
|
|
export HISTFILE=~/.histfile |
|
|
|
|
|
|
|
# append to the history file, don't overwrite it |
|
|
|
shopt -s histappend |
|
|
|
PROMPT_COMMAND="history -a; history -n; $PROMPT_COMMAND" |
|
|
|
|
|
|
|
# check the window size after each command and, if necessary, |
|
|
|
# update the values of LINES and COLUMNS. |
|
|
|
shopt -s checkwinsize |
|
|
|
|
|
|
|
# change to a directory with just its name: |
|
|
|
shop -s autocd |
|
|
|
shopt -s autocd |
|
|
|
|
|
|
|
# ideally we want to use this prompt... |
|
|
|
# |
|
|
|