extern/ohmyzsh
1
0
Fork 1
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-12-27 16:59:03 +01:00
Code Issues Packages Projects Releases Wiki Activity
327ac697c7
ohmyzsh/plugins/colored-man-pages
History
Felix Stupp 621de1e20b
colorized-man-pages: add hooks for dman and debman commands (#8776) 
* colorized-man-pages: Added hooks for commands dman and debman

`dman` and `debman` are tools from the package `debian-goodies` for
Debian systems (see https://packages.debian.org/stable/debian-goodies).
They can display man pages from manpages.debian.org or local debian
packages respectively.

README of the plugin is also updated.

* Simplify syntax for future changes

* Fix README syntax

Co-authored-by: Marc Cornellà <marc.cornella@live.com>
2020-03-30 20:13:12 +02:00
..
colored-man-pages.plugin.zsh colorized-man-pages: add hooks for dman and debman commands (#8776) 2020-03-30 20:13:12 +02:00
README.md colorized-man-pages: add hooks for dman and debman commands (#8776) 2020-03-30 20:13:12 +02:00

README.md

Colored man pages plugin

This plugin adds colors to man pages.

To use it, add colored-man-pages to the plugins array in your zshrc file:

plugins=(... colored-man-pages)

It will also automatically colorize man pages displayed by dman or debman, from debian-goodies.

You can also try to color other pages by prefixing the respective command with colored:

colored git help clone