From 7ed625cebd5b5ec2e23588883355f7994d3d4535 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Thu, 20 Sep 2018 19:40:25 +0200
Subject: [PATCH] [bash] colorize man pages

---
 bashrc | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/bashrc b/bashrc
index 3e92574..bf50c4e 100644
--- a/bashrc
+++ b/bashrc
@@ -222,6 +222,24 @@ solarized() {
 # Combined mkdir and cd
 mkcd() { mkdir -p -- "$1" && cd -P -- "$1"; }
 
+# Colorized `man`
+man() {
+    if [ "$BACKGROUND" = "dark" ]; then
+        local standout="$base02;44" bold="$yellow" underline="$base3;4"
+    else
+        local standout="$base02;46" bold="$blue" underline="$base00;4"
+    fi
+
+    env \
+    LESS_TERMCAP_so=$(echo -ne "\e[${standout}m") \
+    LESS_TERMCAP_md=$(echo -ne "\e[${bold}m") \
+    LESS_TERMCAP_us=$(echo -ne "\e[${underline}m") \
+    LESS_TERMCAP_se=$'\e[0m' \
+    LESS_TERMCAP_me=$'\e[0m' \
+    LESS_TERMCAP_ue=$'\e[0m' \
+    man "$@"
+}
+
 # Apply customizations
 bashrc_customize_environment
 bashrc_customize_shell_options