linux/ohmyzsh
1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-19 21:41:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix style of colored-man-pages plugin

Browse source
This commit is contained in:
Marc Cornellà 2015-12-15 04:09:31 +01:00
parent a8157293a7
commit 09d2a597a5
1 changed files with 18 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
plugins/colored-man-pages/colored-man-pages.plugin.zsh
View file

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