diff options
| author | stuebinm | 2024-01-18 23:52:19 +0100 |
|---|---|---|
| committer | stuebinm | 2024-01-21 22:17:57 +0100 |
| commit | fff5180525c57a52ff955aef84b2397c9709438d (patch) | |
| tree | 504370130e2a38fb9759ab9aae0de40ae875cf1c | |
| parent | 2974892d2e9818b51bbea2ad6992b656ab597695 (diff) | |
home: fix $MANPAGER with bat
turns out there's an issue for that:
https://github.com/sharkdp/bat/issues/2563
and even a hint in bat's README.md
| -rw-r--r-- | home/home-minimal.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/home/home-minimal.nix b/home/home-minimal.nix index facec46..58ca305 100644 --- a/home/home-minimal.nix +++ b/home/home-minimal.nix @@ -14,6 +14,7 @@ homeDirectory = "/home/stuebinm"; username = "stuebinm"; sessionVariables.MANPAGER = "sh -c 'col -bx | bat -l man -p'"; + sessionVariables.MANROFFOPT = "-c"; }; home.keyboard.options = [ "caps:escape" ]; |