From c1a5859255567f1ba063093f86abbb25c04da704 Mon Sep 17 00:00:00 2001 From: Tobias Powalowski Date: Fri, 21 Jul 2023 08:52:51 +0200 Subject: [PATCH] enable colored man pages --- usr/share/archboot/base/etc/profile.d/custom-bash-options.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/usr/share/archboot/base/etc/profile.d/custom-bash-options.sh b/usr/share/archboot/base/etc/profile.d/custom-bash-options.sh index ed279175c..a86e34e87 100644 --- a/usr/share/archboot/base/etc/profile.d/custom-bash-options.sh +++ b/usr/share/archboot/base/etc/profile.d/custom-bash-options.sh @@ -11,6 +11,8 @@ else # blue for normal user,host green, print full working dir PS1='[\[\e[1;34m\]\u\[\e[m\]@\[\e[1;32m\]\h\[\e[m\] \w]\$ ' fi +# color man pages +GROFF_NO_SGR=1 # keep history clean from dups and spaces HISTCONTROL="erasedups:ignorespace" # if installed set neovim as default editor