Description
Lines 1683 to 1685 in bdc51f9
I switched to grml's zshrc and used it for quite some time before noticing that the history size was much smaller than what was defined in /etc/profile.d. I'm going to submit a PR for this, but I'm not sure which of the three ways to change the HISTSIZE and SAVEHIST variables I should choose.
[[ -z "${HISTFILE}" ]] && HISTFILE=${HISTFILE:-${ZDOTDIR:-${HOME}}/.zsh_history}
if [[ -z "${HISTSIZE}" ]]; then
isgrmlcd && HISTSIZE=500 || HISTSIZE=5000
fi
if [[ -z "${SAVEHIST}" ]]; then
isgrmlcd && SAVEHIST=1000 || SAVEHIST=10000 # useful for setopt append_history
fi
[[ -z "${HISTSIZE}" ]] && { isgrmlcd && HISTSIZE=500 || HISTSIZE=5000; }
[[ -z "${SAVEHIST}" ]] && { isgrmlcd && SAVEHIST=1000 || SAVEHIST=10000; } # useful for setopt append_history
isgrmlcd && HISTSIZE=500 || HISTSIZE=${HISTSIZE:-5000}
isgrmlcd && SAVEHIST=1000 || SAVEHIST=${SAVEHIST:-10000} # useful for setopt append_history
Metadata
Assignees
Labels
No labels
Activity