Willy Weiskopf 6adad5c300 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.

2020-02-19 18:20:28 +01:00

363 B

Raw Blame History

View Raw