Customization/ohmyzsh
1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-22 05:40:08 +00:00
Code Releases Activity

colorized-man-pages: add hooks for dman and debman commands (#8776)

Browse source 
* 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>
This commit is contained in:
Felix Stupp 2020-03-30 18:13:12 +00:00 committed by GitHub
parent 2a081d6e5e
commit 621de1e20b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
plugins/colored-man-pages/README.md
View file

@ -8,6 +8,9 @@ To use it, add `colored-man-pages` to the plugins array in your zshrc file:
plugins=(... colored-man-pages) 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`: You can also try to color other pages by prefixing the respective command with `colored`:
```zsh ```zsh

7
plugins/colored-man-pages/colored-man-pages.plugin.zsh
View file

@ -31,6 +31,9 @@ function colored() {
"$@" "$@"
} }
function man() { # Colorize man and dman/debman (from debian-goodies)
colored man "$@" function man \
dman \
debman {
colored $0 "$@"
} }