driver: Disable BASH_REMATCH

Fixes #612.
This commit is contained in:
Matthew Martin 2019-04-14 08:26:03 -05:00
parent 7ba4f0f119
commit 972ad197c1

View file

@ -101,7 +101,7 @@ _zsh_highlight()
typeset -r zsyh_user_options
emulate -L zsh
setopt localoptions warncreateglobal
setopt localoptions warncreateglobal nobashrematch
local REPLY # don't leak $REPLY into global scope
# Do not highlight if there are more than 300 chars in the buffer. It's most