From 27a1d10f299631367474a391452d9470a8e12fbd Mon Sep 17 00:00:00 2001
From: Bert Peters <bert@bertptrs.nl>
Date: Thu, 11 Apr 2019 16:20:03 +0200
Subject: [PATCH] Remove colored man.

It really wasn't an improvement.
---
 zsh/.config/zsh/.zshrc | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/zsh/.config/zsh/.zshrc b/zsh/.config/zsh/.zshrc
index aa9cfe2..b25c88e 100644
--- a/zsh/.config/zsh/.zshrc
+++ b/zsh/.config/zsh/.zshrc
@@ -57,17 +57,6 @@ fi
 
 eval "$(dircolors)"
 
-# Colored man output
-man() {
-	LESS_TERMCAP_md=$'\e[01;36m' \
-		LESS_TERMCAP_me=$'\e[0m' \
-		LESS_TERMCAP_se=$'\e[0m' \
-		LESS_TERMCAP_so=$'\e[01;44;33m' \
-		LESS_TERMCAP_ue=$'\e[0m' \
-		LESS_TERMCAP_us=$'\e[01;33m' \
-		command man "$@"
-}
-
 # Initialize the prompt
 source "${ZDOTDIR:-$HOME}/.zshtheme"