* 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>
Commit 09d2a597a5 introduced the bug, which is due to using
single brackets conditions at the same time as *.
This commit should fix it and use double brackets everywhere
else.
Fixes#4699
Some environments (in my case, cygwin) have PATH variables with directories
with spaces in them, breaking colored-man.
Adding quotes around the PATH environment variable makes the plugin run OK.
ratijas