From 0e0132e8fad785c87160f39b5d450a28295ee369 Mon Sep 17 00:00:00 2001 From: romkatv Date: Mon, 22 Apr 2019 17:06:41 +0200 Subject: [PATCH] protect set_default from user-defined options --- functions/utilities.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/functions/utilities.zsh b/functions/utilities.zsh index c30fa096..7a322e57 100755 --- a/functions/utilities.zsh +++ b/functions/utilities.zsh @@ -10,6 +10,7 @@ # # Options are the same as in `typeset`. function set_default() { + emulate -L zsh local -a flags=(-g) while true; do case $1 in