diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2023-08-02 20:32:32 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2023-08-02 20:32:32 +0200 |
| commit | ec7f1bcffacfaad6fb293fbfb619fb1c91b46c88 (patch) | |
| tree | 7ce26084d903e551cd6c48153c43e8d3e664f5cc /bashrc | |
| parent | c8cda0779c3289c027a35b38a3644eac810c9e54 (diff) | |
bashrc: restore old groff coloring behavior
without the setting, vim will have issues with rendering manpages.
see also: https://mail.gnu.org/archive/html/bug-groff/2023-07/msg00008.html
downside: URLs are no longer working in manpages
Diffstat (limited to 'bashrc')
| -rw-r--r-- | bashrc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -77,6 +77,7 @@ export RIPGREP_CONFIG_PATH=${HOME}/.config/ripgreprc # use vim as pager (VimTip 167) export MANPAGER="/bin/sh -c \"col -b -x | view -u ~/.vim/pager.vim -c 'set ft=man nomod nolist' -\"" export PERLDOC_PAGER=$MANPAGER +export GROFF_NO_SGR=1 # fzf |