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 ++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 plugins/colored-man-pages/colored-man-pages.plugin.zsh (limited to 'plugins/colored-man-pages/colored-man-pages.plugin.zsh') 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 <