From fff5180525c57a52ff955aef84b2397c9709438d Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 18 Jan 2024 23:52:19 +0100
Subject: 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
---
 home/home-minimal.nix | 1 +
 1 file changed, 1 insertion(+)

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" ];
-- 
cgit v1.2.3