diff options
| author | zghember <zghpku@gmail.com> | 2014-12-15 00:23:34 +0800 |
|---|---|---|
| committer | zghember <zghpku@gmail.com> | 2014-12-15 00:23:34 +0800 |
| commit | 6fd0b73e9aba568640005798f737cd73ad0bfdf4 (patch) | |
| tree | 22f3654e0c00ffd1cb9c3c05ca5d8bffa190cc1f /plugins/colored-man/colored-man.plugin.zsh | |
| parent | 6f70d288cc4625142413227109bf1eeac7e2a180 (diff) | |
| parent | 141c2e593401f245a9f9bb0799ada8bf14b677d7 (diff) | |
| download | zsh-6fd0b73e9aba568640005798f737cd73ad0bfdf4.tar.gz zsh-6fd0b73e9aba568640005798f737cd73ad0bfdf4.tar.bz2 zsh-6fd0b73e9aba568640005798f737cd73ad0bfdf4.zip | |
Merge commit '141c2e593401f245a9f9bb0799ada8bf14b677d7'
Diffstat (limited to 'plugins/colored-man/colored-man.plugin.zsh')
| -rw-r--r-- | plugins/colored-man/colored-man.plugin.zsh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/plugins/colored-man/colored-man.plugin.zsh b/plugins/colored-man/colored-man.plugin.zsh index 56056284a..5c613f49d 100644 --- a/plugins/colored-man/colored-man.plugin.zsh +++ b/plugins/colored-man/colored-man.plugin.zsh @@ -1,3 +1,21 @@ +if [ "$OSTYPE[0,7]" = "solaris" ] +then + if [ ! -x ${HOME}/bin/nroff ] + then + mkdir -p ${HOME}/bin + cat > ${HOME}/bin/nroff <<EOF +#!/bin/sh +if [ -n "\$_NROFF_U" -a "\$1,\$2,\$3" = "-u0,-Tlp,-man" ]; then + shift + exec /usr/bin/nroff -u\${_NROFF_U} "\$@" +fi +#-- Some other invocation of nroff +exec /usr/bin/nroff "\$@" +EOF + chmod +x ${HOME}/bin/nroff + fi +fi + man() { env \ LESS_TERMCAP_mb=$(printf "\e[1;31m") \ @@ -7,5 +25,8 @@ man() { LESS_TERMCAP_so=$(printf "\e[1;44;33m") \ LESS_TERMCAP_ue=$(printf "\e[0m") \ LESS_TERMCAP_us=$(printf "\e[1;32m") \ + PAGER=/usr/bin/less \ + _NROFF_U=1 \ + PATH=${HOME}/bin:${PATH} \ man "$@" } |