Re: ZSH Shell support - Bug with a special character

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

On Fri, 28 Feb 2014 14:00:46 -0300
Tobias <tobias.basteiro@xxxxxxxxxxxxxxx> wrote:
> I'm just trying to run this script:
>      git reset HEAD^
> I'm using git to try to reset the code to a branch behind and zsh 
> returns this message:
>      zsh: no matches found: HEAD^

You have the EXTENDED_GLOB option set, in which ^ is a special
character.

If you don't need it, simply remove it from the start up file where it's
turned on or add "unsetopt EXTENDED_GLOB" after whatever code is setting
it.

If you do need EXTENDED_GLOB for other purposes but don't need that
particular syntax, and you have the latest version of zsh, you can turn
off that pattern character,

disable -p '^'

pws