621de1e20b
* 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>
40 lines
868 B
Bash
40 lines
868 B
Bash
if [[ "$OSTYPE" = 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
|
|
|
|
function colored() {
|
|
command env \
|
|
LESS_TERMCAP_mb=$(printf "\e[1;31m") \
|
|
LESS_TERMCAP_md=$(printf "\e[1;31m") \
|
|
LESS_TERMCAP_me=$(printf "\e[0m") \
|
|
LESS_TERMCAP_se=$(printf "\e[0m") \
|
|
LESS_TERMCAP_so=$(printf "\e[1;44;33m") \
|
|
LESS_TERMCAP_ue=$(printf "\e[0m") \
|
|
LESS_TERMCAP_us=$(printf "\e[1;32m") \
|
|
PAGER="${commands[less]:-$PAGER}" \
|
|
_NROFF_U=1 \
|
|
PATH="$HOME/bin:$PATH" \
|
|
"$@"
|
|
}
|
|
|
|
# Colorize man and dman/debman (from debian-goodies)
|
|
function man \
|
|
dman \
|
|
debman {
|
|
colored $0 "$@"
|
|
}
|