diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2015-12-15 11:56:27 +0100 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2015-12-15 11:56:27 +0100 |
| commit | 4b95c166bdd8735f67e2c098a741866edcf5a722 (patch) | |
| tree | 0603d862ae1cd4bfc4164c98b08a6ad5e593ef94 | |
| parent | fe9ff63ced777d6548694e9b8008472c5e1a6594 (diff) | |
| parent | 5e310c530814e80b73b166f215225f7fca8be119 (diff) | |
| download | zsh-4b95c166bdd8735f67e2c098a741866edcf5a722.tar.gz zsh-4b95c166bdd8735f67e2c098a741866edcf5a722.tar.bz2 zsh-4b95c166bdd8735f67e2c098a741866edcf5a722.zip | |
Merge branch 'fix-colored-man-pages-syntax'
| -rw-r--r-- | plugins/colored-man-pages/colored-man-pages.plugin.zsh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/colored-man-pages/colored-man-pages.plugin.zsh b/plugins/colored-man-pages/colored-man-pages.plugin.zsh index dd0f241f0..44e0c71a1 100644 --- a/plugins/colored-man-pages/colored-man-pages.plugin.zsh +++ b/plugins/colored-man-pages/colored-man-pages.plugin.zsh @@ -1,6 +1,6 @@ -if [ "$OSTYPE" = 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 |