colorized-man-pages: add hooks for dman and debman commands (ohmyzsh#…

…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à <[email protected]>
danimateo · Mar 30, 2020 · 621de1e · 621de1e
1 parent 2a081d6
commit 621de1e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/plugins/colored-man-pages/README.md b/plugins/colored-man-pages/README.md
@@ -8,6 +8,9 @@ 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`](https://packages.debian.org/stable/debian-goodies).
+
 You can also try to color other pages by prefixing the respective command with `colored`:
 
 ```zsh

diff --git a/plugins/colored-man-pages/colored-man-pages.plugin.zsh b/plugins/colored-man-pages/colored-man-pages.plugin.zsh
@@ -31,6 +31,9 @@ function colored() {
 			"$@"
 }
 
-function man() {
-	colored man "$@"
+# Colorize man and dman/debman (from debian-goodies)
+function man \
+	dman \
+	debman {
+	colored $0 "$@"
 }