zsh-grawlinson/source/options.zsh

26 lines
1.3 KiB
Bash
Raw Normal View History

2019-10-31 23:18:00 +00:00
# general
setopt NO_BEEP # disable terminal beep
setopt MULTI_OS # pipe to multiple outputs
setopt INTERACTIVE_COMMENTS # allow comments in interactive shell
# globbing
setopt NO_CASE_GLOB # case insensitive globbing
setopt EXTENDED_GLOB # enable zsh globbing features
setopt NUMERIC_GLOB_SORT # sort globs numerically, not by letter
# history
HISTSIZE=100000 # set history size to 100K
SAVEHIST="${HISTSIZE}" # cap history size at 100K
setopt EXTENDED_HISTORY # record timestamp on command in HISTFILE
setopt HIST_EXPIRE_DUPS_FIRST # delete duplicates first when HISTFILE > HISTSIZE
setopt APPEND_HISTORY # ignore duplicate commands in history list
setopt HIST_FIND_NO_DUPS # when searching history don't display results already cycled through twice
setopt HIST_IGNORE_SPACE # ignore commands that start with space
setopt HIST_VERIFY # show command with history expansion to user before running it
setopt SHARE_HISTORY # shares history across multiple zsh sessions, in real time
setopt HIST_IGNORE_ALL_DUPS # do not write commands to history that are duplicates of the previous command
setopt HIST_REDUCE_BLANKS # remove erroneous blanks from commands before appending to history
# create history file
[ -z "${HISTFILE}" ] && HISTFILE="${ZCACHEDIR}/zhistory"