Fix style of colored-man-pages plugin

This commit is contained in:
Marc Cornellà 2015-12-15 04:09:31 +01:00
parent a8157293a7
commit 09d2a597a5

View file

@ -1,18 +1,18 @@
if [ "$OSTYPE[0,7]" = "solaris" ] if [ "$OSTYPE" = solaris* ]
then then
if [ ! -x ${HOME}/bin/nroff ] if [ ! -x "$HOME/bin/nroff" ]
then then
mkdir -p ${HOME}/bin mkdir -p "$HOME/bin"
cat > ${HOME}/bin/nroff <<EOF cat > "$HOME/bin/nroff" <<EOF
#!/bin/sh #!/bin/sh
if [ -n "\$_NROFF_U" -a "\$1,\$2,\$3" = "-u0,-Tlp,-man" ]; then if [ -n "\$_NROFF_U" -a "\$1,\$2,\$3" = "-u0,-Tlp,-man" ]; then
shift shift
exec /usr/bin/nroff -u\${_NROFF_U} "\$@" exec /usr/bin/nroff -u\$_NROFF_U "\$@"
fi fi
#-- Some other invocation of nroff #-- Some other invocation of nroff
exec /usr/bin/nroff "\$@" exec /usr/bin/nroff "\$@"
EOF EOF
chmod +x ${HOME}/bin/nroff chmod +x "$HOME/bin/nroff"
fi fi
fi fi