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 /deploy.sh | |
| 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 'deploy.sh')
0 files changed, 0 insertions, 0 deletions