2017-03-20 19:51:00 +07:00
|
|
|
#!/usr/bin/env bash
|
2017-03-19 17:13:00 +07:00
|
|
|
shopt -s histappend # append to bash_history if Terminal.app quits
|
|
|
|
|
|
2017-03-19 15:40:25 +07:00
|
|
|
## Command history configuration
|
|
|
|
|
if [ -z "$HISTFILE" ]; then
|
|
|
|
|
HISTFILE=$HOME/.bash_history
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
HISTSIZE=10000
|
|
|
|
|
SAVEHIST=10000
|
|
|
|
|
|
|
|
|
|
# Show history
|
|
|
|
|
case $HIST_STAMPS in
|
|
|
|
|
"mm/dd/yyyy") alias history='fc -fl 1' ;;
|
|
|
|
|
"dd.mm.yyyy") alias history='fc -El 1' ;;
|
|
|
|
|
"yyyy-mm-dd") alias history='fc -il 1' ;;
|
|
|
|
|
*) alias history='fc -l 1' ;;
|
|
|
|
|
esac
|
|
|
|
|
|
2017-03-19 16:06:08 +07:00
|
|
|
#setopt append_history
|
|
|
|
|
#setopt extended_history
|
|
|
|
|
#setopt hist_expire_dups_first
|
|
|
|
|
#setopt hist_ignore_dups # ignore duplication command history list
|
|
|
|
|
#setopt hist_ignore_space
|
|
|
|
|
#setopt hist_verify
|
|
|
|
|
#setopt inc_append_history
|
|
|
|
|
#setopt share_history # share command history data
|
