diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2020-02-12 18:07:38 -0700 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2020-02-12 18:07:38 -0700 |
| commit | 93a2003db7738e2255a4589ef2073df1be34fe02 (patch) | |
| tree | c2f6b378ffae6d4f433acf2a1931d1cc1f3f0574 /oh-my-zsh.sh | |
| parent | 891ef3d57b6d5e38e10c0894c3d956416adc95e2 (diff) | |
| parent | a6df94d2c677c6d28c5ee339975b7a56a2f67e21 (diff) | |
| download | zsh-93a2003db7738e2255a4589ef2073df1be34fe02.tar.gz zsh-93a2003db7738e2255a4589ef2073df1be34fe02.tar.bz2 zsh-93a2003db7738e2255a4589ef2073df1be34fe02.zip | |
Merge branch 'master' of https://github.com/ohmyzsh/ohmyzsh
Diffstat (limited to 'oh-my-zsh.sh')
| -rw-r--r-- | oh-my-zsh.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/oh-my-zsh.sh b/oh-my-zsh.sh index 6b2662d5e..c3fae6efb 100644 --- a/oh-my-zsh.sh +++ b/oh-my-zsh.sh @@ -32,8 +32,8 @@ fi is_plugin() { local base_dir=$1 local name=$2 - test -f $base_dir/plugins/$name/$name.plugin.zsh \ - || test -f $base_dir/plugins/$name/_$name + builtin test -f $base_dir/plugins/$name/$name.plugin.zsh \ + || builtin test -f $base_dir/plugins/$name/_$name } # Add all defined plugins to fpath. This must be done |