summaryrefslogtreecommitdiff
path: root/home
diff options
context:
space:
mode:
authorstuebinm2024-01-18 23:52:19 +0100
committerstuebinm2024-01-21 22:17:57 +0100
commitfff5180525c57a52ff955aef84b2397c9709438d (patch)
tree504370130e2a38fb9759ab9aae0de40ae875cf1c /home
parent2974892d2e9818b51bbea2ad6992b656ab597695 (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
Diffstat (limited to 'home')
-rw-r--r--home/home-minimal.nix1
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" ];