6139834a4a
Upgrade the `rg` function to only pipe to `PAGER` when output is a terminal.
8 lines
217 B
Bash
8 lines
217 B
Bash
# colorful man pages
|
|
LESS_TERMCAP_md=$'\e[01;31m' \
|
|
LESS_TERMCAP_me=$'\e[0m' \
|
|
LESS_TERMCAP_se=$'\e[0m' \
|
|
LESS_TERMCAP_so=$'\e[01;44;33m' \
|
|
LESS_TERMCAP_ue=$'\e[0m' \
|
|
LESS_TERMCAP_us=$'\e[01;32m' \
|
|
@man@/bin/man "$@"
|