diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/colored-man-pages/README.md | 3 | ||||
| -rw-r--r-- | plugins/colored-man-pages/colored-man-pages.plugin.zsh | 7 |
2 files changed, 8 insertions, 2 deletions
diff --git a/plugins/colored-man-pages/README.md b/plugins/colored-man-pages/README.md index d9f6acb2a..f34941e73 100644 --- 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 index f74105d40..ec518472c 100644 --- 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 "$@" } |