diff options
| author | Blake Romero <blake@developercraft.com> | 2026-04-04 13:58:37 +0100 |
|---|---|---|
| committer | Blake Romero <blake@developercraft.com> | 2026-04-04 13:58:37 +0100 |
| commit | e85ae03c98f093c41e242f04ffe927c31dc984d7 (patch) | |
| tree | 7b82b15557befcc2226590601c8e2e83aa299aa2 | |
| parent | 6ec10ff9f3ee34d6c4c12f1fb57c3a9985ba712e (diff) | |
Fix man pager colour
| -rw-r--r-- | bash_profile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bash_profile b/bash_profile index 8548d9a..c22d34f 100644 --- a/bash_profile +++ b/bash_profile @@ -44,6 +44,8 @@ export LESS_TERMCAP_so=$'\e[7m' # start standout mode export LESS_TERMCAP_se=$'\e[0m' # end standout-mode export LESS_TERMCAP_us=$'\e[1;37m' # start underlining export LESS_TERMCAP_ue=$'\e[0m' # end underline +export MANPAGER='less -s-M +Gg' +export GROFF_NO_SGR=yes # fix for less colours to work # BEMENU if exists bemenu; then |