Closed AlanI-xx closed 4 years ago
Oh My Zsh plugin colored-man was renamed colored-man-pages upstream: https://github.com/ohmyzsh/ohmyzsh/commit/bb509dda236f8ed04b90806bc66f4ad1a41f57bc#diff-e0daa4091e1fc25d3c2ff19ed4613612
colored-man
colored-man-pages
As a result, if you copy & paste the plugin list supplied, you end up with an error saying colored-man is not found. This PR corrects that.
Nice catch.
Thanks, @AlanI-xx!
Oh My Zsh plugin
colored-man
was renamedcolored-man-pages
upstream: https://github.com/ohmyzsh/ohmyzsh/commit/bb509dda236f8ed04b90806bc66f4ad1a41f57bc#diff-e0daa4091e1fc25d3c2ff19ed4613612As a result, if you copy & paste the plugin list supplied, you end up with an error saying
colored-man
is not found. This PR corrects that.