diff options
author | Philip Sequeira <phsequei@gmail.com> | 2014-08-15 15:22:44 -0400 |
---|---|---|
committer | Alessandro Ghedini <alessandro@ghedini.me> | 2014-08-17 12:51:10 +0200 |
commit | b36ed6d9f9d4d70a9099588b7569ebfc68a89b33 (patch) | |
tree | d0bca3ac5ddd8c7306bb3bb5436a19a017a1aadb /TOOLS | |
parent | c7e67d008a1f54f069ba74cb1ea1e33c1c693248 (diff) | |
download | mpv-b36ed6d9f9d4d70a9099588b7569ebfc68a89b33.tar.bz2 mpv-b36ed6d9f9d4d70a9099588b7569ebfc68a89b33.tar.xz |
TOOLS/zsh.pl: protect global environment
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/zsh.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/TOOLS/zsh.pl b/TOOLS/zsh.pl index 1626c18078..4f23b934b3 100755 --- a/TOOLS/zsh.pl +++ b/TOOLS/zsh.pl @@ -72,6 +72,9 @@ my $tmpl = <<"EOS"; # mpv zsh completion +local curcontext="\$curcontext" state state_descr line +typeset -A opt_args + local rc=1 _arguments -C -S \\ @@ -120,6 +123,7 @@ $profile_comp ;; mfiles) + local expl _tags files urls while _tags; do _requested files expl 'media file' _files -g \\ |