bash: fix for non-GNU man

diff --git a/.bashrc b/.bashrc
index e524437ec5845ccad4b3181455b7eb5c4e4070bc..ef54a276d22102442ffb6c8646ff4aca7f7b772a 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -241,7 +241,8 @@ function man {
         LESS_TERMCAP_me=$'\E[0m' \
         LESS_TERMCAP_us=$'\E[04;38;5;146m' \
         LESS_TERMCAP_ue=$'\E[0m' \
-    man --encoding ascii "$@"
+        LC_CTYPE=C \
+    man "$@"
 }
 
 # Creates the directory if it doesn't exist, and changes into it