From 8941cb67d9b0a62d460b6ed00929214a7ec9beee Mon Sep 17 00:00:00 2001 From: Tommy Wang Date: Wed, 17 Jun 2015 14:14:13 -0500 Subject: [PATCH] allow customization of colors for colored-man --- plugins/colored-man/colored-man.plugin.zsh | 58 ++++++++++++++-------- 1 file changed, 38 insertions(+), 20 deletions(-) diff --git a/plugins/colored-man/colored-man.plugin.zsh b/plugins/colored-man/colored-man.plugin.zsh index 5c613f49d..16e1626f8 100644 --- a/plugins/colored-man/colored-man.plugin.zsh +++ b/plugins/colored-man/colored-man.plugin.zsh @@ -1,32 +1,50 @@ if [ "$OSTYPE[0,7]" = "solaris" ] then - if [ ! -x ${HOME}/bin/nroff ] - then - mkdir -p ${HOME}/bin - cat > ${HOME}/bin/nroff < ${HOME}/bin/nroff <