diff options
| author | Greg <gregrs-uk@users.noreply.github.com> | 2019-04-03 12:20:16 +0100 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2019-04-03 13:20:16 +0200 |
| commit | 3a6bf6bd26b809577d42cb606e05e9ea75373d5e (patch) | |
| tree | 799b5ca4eca92662e726b16a4de3574d670c34fd /oh-my-zsh.sh | |
| parent | 831fba4ee4bc28d1d0a3a3f94d5b4dcdfce04588 (diff) | |
| download | zsh-3a6bf6bd26b809577d42cb606e05e9ea75373d5e.tar.gz zsh-3a6bf6bd26b809577d42cb606e05e9ea75373d5e.tar.bz2 zsh-3a6bf6bd26b809577d42cb606e05e9ea75373d5e.zip | |
init: more informative warning if plugin not found (#7727)
Diffstat (limited to 'oh-my-zsh.sh')
| -rw-r--r-- | oh-my-zsh.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/oh-my-zsh.sh b/oh-my-zsh.sh index e080257c1..b1460b1d7 100644 --- a/oh-my-zsh.sh +++ b/oh-my-zsh.sh @@ -53,7 +53,7 @@ for plugin ($plugins); do elif is_plugin $ZSH $plugin; then fpath=($ZSH/plugins/$plugin $fpath) else - echo "Warning: plugin $plugin not found" + echo "[oh-my-zsh] plugin '$plugin' not found" fi done |