Don't override ZSH_COMPDUMP if already set.

This allows customization via .zshenv if wanted. This is helpful
for zsh developers and people who want to move it out of $HOME
This commit is contained in:
Christian Höltje 2014-04-23 00:34:22 -04:00 committed by ncanceill
parent fbf4a78acf
commit 67d74cbc2d
1 changed files with 3 additions and 1 deletions

View File

@ -46,7 +46,9 @@ else
fi
# Save the location of the current completion dump file.
ZSH_COMPDUMP="${ZDOTDIR:-${HOME}}/.zcompdump-${SHORT_HOST}-${ZSH_VERSION}"
if [ -z "$ZSH_COMPDUMP" ]; then
ZSH_COMPDUMP="${ZDOTDIR:-${HOME}}/.zcompdump-${SHORT_HOST}-${ZSH_VERSION}"
fi
# Load and run compinit
autoload -U compinit