diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2020-04-24 20:54:33 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2020-04-24 20:54:33 -0600 |
| commit | c197ad40f1dca62fd1e0e555e7bfc84e39f31223 (patch) | |
| tree | 5c1e753e0ff2cb9d0e08a699f17352225b9ef9f1 /plugins/colored-man-pages/colored-man-pages.plugin.zsh | |
| parent | 0b67340fd2fe9330d8487491e1983ad1a111fb2b (diff) | |
| parent | 2560f04982dfc2693221c7c0f47d1a71df09a794 (diff) | |
| download | zsh-c197ad40f1dca62fd1e0e555e7bfc84e39f31223.tar.gz zsh-c197ad40f1dca62fd1e0e555e7bfc84e39f31223.tar.bz2 zsh-c197ad40f1dca62fd1e0e555e7bfc84e39f31223.zip | |
Merge branch 'master' of https://github.com/ohmyzsh/ohmyzsh
Diffstat (limited to 'plugins/colored-man-pages/colored-man-pages.plugin.zsh')
| -rw-r--r-- | plugins/colored-man-pages/colored-man-pages.plugin.zsh | 7 |
1 files changed, 5 insertions, 2 deletions
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 "$@" } |