diff options
Diffstat (limited to 'zsh/oh-my-zsh/plugins/colored-man-pages/nroff')
| -rwxr-xr-x | zsh/oh-my-zsh/plugins/colored-man-pages/nroff | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/zsh/oh-my-zsh/plugins/colored-man-pages/nroff b/zsh/oh-my-zsh/plugins/colored-man-pages/nroff deleted file mode 100755 index 4ae155d..0000000 --- a/zsh/oh-my-zsh/plugins/colored-man-pages/nroff +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -# The whole point of this wrapper is to replace emboldening factor -u0 with -# -u1 under certain circumstances on Solaris. - -if [ "$1,$2,$3" = "-u0,-Tlp,-man" ]; then - shift - exec /usr/bin/nroff -u1 "$@" -else - # Some other invocation of nroff - exec /usr/bin/nroff "$@" -fi |