diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2015-12-15 11:52:48 +0100 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2015-12-15 11:56:16 +0100 |
| commit | 5e310c530814e80b73b166f215225f7fca8be119 (patch) | |
| tree | 0603d862ae1cd4bfc4164c98b08a6ad5e593ef94 /plugins/colored-man-pages | |
| parent | fe9ff63ced777d6548694e9b8008472c5e1a6594 (diff) | |
| download | zsh-5e310c530814e80b73b166f215225f7fca8be119.tar.gz zsh-5e310c530814e80b73b166f215225f7fca8be119.tar.bz2 zsh-5e310c530814e80b73b166f215225f7fca8be119.zip | |
Fix syntax error in colored-man-pages
Commit 09d2a597a5 introduced the bug, which is due to using
single brackets conditions at the same time as *.
This commit should fix it and use double brackets everywhere
else.
Fixes #4699
Diffstat (limited to 'plugins/colored-man-pages')
| -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 |