Evan Hahn b80059e21f Fix zsh history widget when sh_glob option is on (#4714) ...

Fixes #4712.

The CTRL-R history widget failed in zsh when [zsh's `sh_glob` option][0]
was on. This fixes that by disabling the option locally, like we disable
other options.

[0]: https://zsh.sourceforge.io/Doc/Release/Options.html#:~:text=SH%5FGLOB,ksh%2E

2026-03-13 09:21:04 +09:00

33 KiB

Raw Blame History

View Raw