diff options
| author | romkatv <roman.perepelitsa@gmail.com> | 2019-04-22 18:06:41 +0300 |
|---|---|---|
| committer | romkatv <roman.perepelitsa@gmail.com> | 2019-04-22 18:06:41 +0300 |
| commit | 0e0132e8fad785c87160f39b5d450a28295ee369 (patch) | |
| tree | 3fd0aa21f81ad8f1668d210a769580e15f9b8482 | |
| parent | 1d7c63f80fcc1ea1b79342c972fe77e3e2ec80e4 (diff) | |
protect set_default from user-defined options
| -rwxr-xr-x | functions/utilities.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |