diff options
| author | Willy Weiskopf <william@weiskopf.me> | 2014-07-16 22:21:09 -0600 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2020-02-19 18:20:28 +0100 |
| commit | 6adad5c300a6bfde33b593489cc1c3b645b721e8 (patch) | |
| tree | ffc272716a4fce2ed12c4b833ff772a5f2e8067a /plugins/fancy-ctrl-z | |
| parent | d76258ff554ea58d9865b9864f5fff1dd8d2e4bb (diff) | |
| download | zsh-6adad5c300a6bfde33b593489cc1c3b645b721e8.tar.gz zsh-6adad5c300a6bfde33b593489cc1c3b645b721e8.tar.bz2 zsh-6adad5c300a6bfde33b593489cc1c3b645b721e8.zip | |
Move random theme functionality into "random" theme
The statements for selecting a random theme in oh-my-zsh.sh and the themes
plugin are duplicate. Most people eventually settle on a theme, making those
lines in oh-my-zsh.sh superfluous. To address those, it may makes sense to put
the random theme functionality into a theme of its own (since themes are just
zsh scripts.
Diffstat (limited to 'plugins/fancy-ctrl-z')
0 files changed, 0 insertions, 0 deletions