67d74cbc2d057ef8ae2d237f739b53f52919567f

Author
Christian Höltje <docwhat@gerf.org>
Committer
ncanceill <nicolas.canceill@ens-cachan.org>
Date

Message

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

Diff

 1diff --git a/oh-my-zsh.sh b/oh-my-zsh.sh
 2index 3c0f4f8f5f990e09d26d000176bb344d06a7c564..c217b91bbb57493b91263dc196e75caaec81c5a5 100644
 3--- a/oh-my-zsh.sh
 4+++ b/oh-my-zsh.sh
 5@@ -46,7 +46,9 @@ else
 6 fi
 7 
 8 # Save the location of the current completion dump file.
 9-ZSH_COMPDUMP="${ZDOTDIR:-${HOME}}/.zcompdump-${SHORT_HOST}-${ZSH_VERSION}"
10+if [ -z "$ZSH_COMPDUMP" ]; then
11+  ZSH_COMPDUMP="${ZDOTDIR:-${HOME}}/.zcompdump-${SHORT_HOST}-${ZSH_VERSION}"
12+fi
13 
14 # Load and run compinit
15 autoload -U compinit