diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2019-04-10 21:26:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-10 21:26:56 +0200 |
| commit | b57c0ac6e250aaf70eff28224c5edbbb79d05406 (patch) | |
| tree | 604686688ffcb0c4047432109b12ac8e4ae2b888 | |
| parent | 3c8f73c312d1639826a3a5cc499197f423508833 (diff) | |
| download | zsh-b57c0ac6e250aaf70eff28224c5edbbb79d05406.tar.gz zsh-b57c0ac6e250aaf70eff28224c5edbbb79d05406.tar.bz2 zsh-b57c0ac6e250aaf70eff28224c5edbbb79d05406.zip | |
Delete deprecated pure theme
| -rw-r--r-- | themes/pure.zsh-theme | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/themes/pure.zsh-theme b/themes/pure.zsh-theme deleted file mode 100644 index 98c1312af..000000000 --- a/themes/pure.zsh-theme +++ /dev/null @@ -1,10 +0,0 @@ -print -P '%F{yellow}'Oh My Zsh pure theme: -cat <<-EOF - - The pure theme has been renamed as 'refined' as per the original author's - request. Change your ZSH_THEME to 'refined' to avoid seeing this warning. - -EOF -print -P '%f' - -source ${0:h:A}/refined.zsh-theme |