diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/context/lua/mtx-context.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 6c16f655c..38cb363bf 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -1694,6 +1694,9 @@ elseif getargument("purge") then elseif getargument("purgeall") then -- only when no filename given, supports --pattern scripts.context.purge(true,nil,true) +elseif getargument("pattern") then + environment.filenames = dir.glob(getargument("pattern")) + scripts.context.timed(scripts.context.autoctx) else application.help("basic") end |