From 890a17392cf91ae9dbf6d0e79c876aefbf968bd2 Mon Sep 17 00:00:00 2001 From: Wryn Wagner Date: Thu, 16 Sep 2021 20:21:19 -0600 Subject: [PATCH] external plugin guard --- zsh/rc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zsh/rc b/zsh/rc index 6d71c5f..3f171fa 100644 --- a/zsh/rc +++ b/zsh/rc @@ -34,7 +34,7 @@ SET_PREFERRED_EDITOR() { } # --------------------------------------------------------------------- for p in $INTERNAL_PLUGINS; do source $p; done -for p in $EXTERNAL_PLUGINS; do source $p; done +for p in $EXTERNAL_PLUGINS; do [ -f $p ] && source $p; done SET_PREFERRED_EDITOR WELCOME # ---------------------------------------------------------------------