From f84f3e851276bf86b50d14810826b243afce4757 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Sun, 20 Sep 2020 13:41:21 +0200
Subject: [PATCH] random: add ZSH_THEME_RANDOM_QUIET setting

Fixes #9180

Co-authored-by: James Eapen <jamespeapen@gmail.com>
---
 themes/random.zsh-theme | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/themes/random.zsh-theme b/themes/random.zsh-theme
index 85a8612b7c4a..f0b8e5c18d1b 100644
--- a/themes/random.zsh-theme
+++ b/themes/random.zsh-theme
@@ -42,4 +42,6 @@ else
   return 1
 fi
 
-echo "[oh-my-zsh] Random theme '${RANDOM_THEME}' loaded"
+if [[ -z "$ZSH_THEME_RANDOM_QUIET" ]]; then
+  echo "[oh-my-zsh] Random theme '${RANDOM_THEME}' loaded"
+fi