From 2ec9aae6b72d2157d21c6e974e1adc32daca19ce Mon Sep 17 00:00:00 2001 From: Bruno BELANYI Date: Thu, 16 Feb 2023 12:06:22 +0000 Subject: [PATCH] home: pager: remove colored man pages It seems to have broken at some point, and I didn't notice. Might as well remove it since I do not care for it. --- home/pager/default.nix | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/home/pager/default.nix b/home/pager/default.nix index 00d29c0..d40210a 100644 --- a/home/pager/default.nix +++ b/home/pager/default.nix @@ -15,22 +15,5 @@ in # Clear the screen on start and exit LESS = "-R -+X -c"; }; - - programs.zsh.localVariables = { - # Colored man pages - LESS_TERMCAP_mb = "$(tput bold; tput setaf 2)"; - LESS_TERMCAP_md = "$(tput bold; tput setaf 6)"; - LESS_TERMCAP_me = "$(tput sgr0)"; - LESS_TERMCAP_so = "$(tput bold; tput setaf 3; tput setab 4)"; - LESS_TERMCAP_se = "$(tput rmso; tput sgr0)"; - LESS_TERMCAP_us = "$(tput bold; tput setaf 2)"; - LESS_TERMCAP_ue = "$(tput rmul; tput sgr0)"; - LESS_TERMCAP_mr = "$(tput rev)"; - LESS_TERMCAP_mh = "$(tput dim)"; - LESS_TERMCAP_ZN = "$(tput ssubm)"; - LESS_TERMCAP_ZV = "$(tput rsubm)"; - LESS_TERMCAP_ZO = "$(tput ssupm)"; - LESS_TERMCAP_ZW = "$(tput rsupm)"; - }; }; }