From bb509dda236f8ed04b90806bc66f4ad1a41f57bc Mon Sep 17 00:00:00 2001 From: Robby Russell Date: Fri, 9 Oct 2015 07:07:57 -0700 Subject: Renaming colored-man to colored-man-pages because it needs to be. --- plugins/colored-man/colored-man.plugin.zsh | 32 ------------------------------ 1 file changed, 32 deletions(-) delete mode 100644 plugins/colored-man/colored-man.plugin.zsh (limited to 'plugins/colored-man') diff --git a/plugins/colored-man/colored-man.plugin.zsh b/plugins/colored-man/colored-man.plugin.zsh deleted file mode 100644 index 5c613f49d..000000000 --- a/plugins/colored-man/colored-man.plugin.zsh +++ /dev/null @@ -1,32 +0,0 @@ -if [ "$OSTYPE[0,7]" = "solaris" ] -then - if [ ! -x ${HOME}/bin/nroff ] - then - mkdir -p ${HOME}/bin - cat > ${HOME}/bin/nroff <