diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2020-09-20 13:41:21 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2020-09-20 13:41:21 +0200 |
| commit | 93c837fec8e9fe61509b9dff9e909e84f7ebe32d (patch) | |
| tree | 450c73ffc12d1520d01a8df18a5e49fed2292a25 | |
| parent | 38f276a732238008a8d0e4a028a4f112bca56221 (diff) | |
| download | zsh-93c837fec8e9fe61509b9dff9e909e84f7ebe32d.tar.gz zsh-93c837fec8e9fe61509b9dff9e909e84f7ebe32d.tar.bz2 zsh-93c837fec8e9fe61509b9dff9e909e84f7ebe32d.zip | |
random: add ZSH_THEME_RANDOM_QUIET setting
Fixes #9180
Co-authored-by: James Eapen <jamespeapen@gmail.com>
| -rw-r--r-- | themes/random.zsh-theme | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/themes/random.zsh-theme b/themes/random.zsh-theme index 85a8612b7..f0b8e5c18 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 |