diff options
| author | Aditya <bluenerd@protonmail.com> | 2023-02-27 20:04:56 +0530 |
|---|---|---|
| committer | Aditya <bluenerd@protonmail.com> | 2023-02-27 20:04:56 +0530 |
| commit | edc449275b6c04445f58b108ca0937a87c1e8430 (patch) | |
| tree | 9fd484d58145b616f29a78857cc0b1c8b1c18f05 /oh-my-zsh/plugins/colored-man-pages/nroff | |
| parent | 6f5424ca96c4221ef433f545642669e9c104d0ed (diff) | |
add zsh
Diffstat (limited to 'oh-my-zsh/plugins/colored-man-pages/nroff')
| -rwxr-xr-x | oh-my-zsh/plugins/colored-man-pages/nroff | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/oh-my-zsh/plugins/colored-man-pages/nroff b/oh-my-zsh/plugins/colored-man-pages/nroff new file mode 100755 index 0000000..4ae155d --- /dev/null +++ b/oh-my-zsh/plugins/colored-man-pages/nroff @@ -0,0 +1,12 @@ +#!/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 |