From 7c77f0b803b85ad6b811f90755437fc42cbd4104 Mon Sep 17 00:00:00 2001
From: Philip Sequeira <phsequei@gmail.com>
Date: Thu, 14 Aug 2014 12:07:36 +0200
Subject: TOOLS/zsh.pl: complete options that take file names

---
 TOOLS/zsh.pl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/TOOLS/zsh.pl b/TOOLS/zsh.pl
index 4f23b934b3..c9943b1000 100755
--- a/TOOLS/zsh.pl
+++ b/TOOLS/zsh.pl
@@ -122,6 +122,12 @@ $vf_str
 $profile_comp
   ;;
 
+  files)
+    compset -P '*,'
+    compset -S ',*'
+    _files -r ',/ \\t\\n\\-' && rc=0
+  ;;
+
   mfiles)
     local expl
     _tags files urls
@@ -177,6 +183,7 @@ sub parse_opts {
             $entry .= '->vf' if ($1 eq '--vf');
             $entry .= '->profiles' if ($1 eq '--profile');
             $entry .= '->profile' if ($1 eq '--show-profile');
+            $entry .= '->files' if ($line =~ /\[file\]/);
         }
 
         push @list, $entry
-- 
cgit v1.2.3