`93c837fec8e9fe61509b9dff9e909e84f7ebe32d`

Author: Marc Cornellà <marc.cornella@live.com>
Committer: Marc Cornellà <marc.cornella@live.com>
Date: 2020-09-20 11:41 UTC

Message

random: add ZSH_THEME_RANDOM_QUIET setting

Fixes #9180

Co-authored-by: James Eapen <jamespeapen@gmail.com>

Diff

 1diff --git a/themes/random.zsh-theme b/themes/random.zsh-theme
 2index 85a8612b7c4ae8f81306d6789500afc691efc1b3..f0b8e5c18d1b60de82c890a8a94ce3fecdec927a 100644
 3--- a/themes/random.zsh-theme
 4+++ b/themes/random.zsh-theme
 5@@ -42,4 +42,6 @@ else
 6   return 1
 7 fi
 8 
 9-echo "[oh-my-zsh] Random theme '${RANDOM_THEME}' loaded"
10+if [[ -z "$ZSH_THEME_RANDOM_QUIET" ]]; then
11+  echo "[oh-my-zsh] Random theme '${RANDOM_THEME}' loaded"
12+fi