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. --- .../colored-man-pages/colored-man-pages.plugin.zsh | 32 ++++++++++++++++++++++ plugins/colored-man/colored-man.plugin.zsh | 32 ---------------------- 2 files changed, 32 insertions(+), 32 deletions(-) create mode 100644 plugins/colored-man-pages/colored-man-pages.plugin.zsh delete mode 100644 plugins/colored-man/colored-man.plugin.zsh (limited to 'plugins') diff --git a/plugins/colored-man-pages/colored-man-pages.plugin.zsh b/plugins/colored-man-pages/colored-man-pages.plugin.zsh new file mode 100644 index 000000000..5c613f49d --- /dev/null +++ b/plugins/colored-man-pages/colored-man-pages.plugin.zsh @@ -0,0 +1,32 @@ +if [ "$OSTYPE[0,7]" = "solaris" ] +then + if [ ! -x ${HOME}/bin/nroff ] + then + mkdir -p ${HOME}/bin + cat > ${HOME}/bin/nroff < ${HOME}/bin/nroff <