8 ms·

There is a “colored-man-pages” plugin for zsh, which I had turned on already, and promptly forgotten. I was puzzled because my man pages are already colorized

There is a “colored-man-pages” plugin for zsh, which I had turned on already, and promptly forgotten. I was puzzled because my man pages are already colorized ;-)