diff options
Diffstat (limited to 'Master/texmf-dist/scripts/context/lua/mtx-grep.lua')
-rw-r--r-- | Master/texmf-dist/scripts/context/lua/mtx-grep.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/context/lua/mtx-grep.lua b/Master/texmf-dist/scripts/context/lua/mtx-grep.lua index a6617d711f7..9604bc9f85d 100644 --- a/Master/texmf-dist/scripts/context/lua/mtx-grep.lua +++ b/Master/texmf-dist/scripts/context/lua/mtx-grep.lua @@ -70,7 +70,9 @@ function scripts.grep.find(pattern, files, offset) end local capture = (content/check)^0 for i=offset or 1, #files do - for _, nam in ipairs(dir.glob(files[i])) do + local globbed = dir.glob(files[i]) + for i=1,#globbed do + local nam = globbed[i] name = nam local data = io.loaddata(name) if data then |