From 4009668500342d20224c77c7586b4546223c1a77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Mon, 2 Mar 2020 23:53:43 +0100
Subject: [PATCH] random: remove random theme from possible themes to choose
from
...preventing an infinite loop.
---
themes/random.zsh-theme | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/themes/random.zsh-theme b/themes/random.zsh-theme
index 43f6cbb60..6cb7cc579 100644
--- a/themes/random.zsh-theme
+++ b/themes/random.zsh-theme
@@ -3,7 +3,7 @@ typeset -Ua themes
if [[ "${(t)ZSH_THEME_RANDOM_CANDIDATES}" = array && ${#ZSH_THEME_RANDOM_CANDIDATES[@]} -gt 0 ]]; then
# Use ZSH_THEME_RANDOM_CANDIDATES if properly defined
- themes=($ZSH_THEME_RANDOM_CANDIDATES)
+ themes=(${(@)ZSH_THEME_RANDOM_CANDIDATES:#random})
else
# Look for themes in $ZSH_CUSTOM and $ZSH and add only the theme name
themes=(
@@ -12,7 +12,7 @@ else
"$ZSH"/themes/*.zsh-theme(N:t:r)
)
# Remove blacklisted themes from the list
- for theme in ${ZSH_THEME_RANDOM_BLACKLIST[@]}; do
+ for theme in random ${ZSH_THEME_RANDOM_BLACKLIST[@]}; do
themes=("${(@)themes:#$theme}")
done
fi