diff options
author | Hans Hagen <pragma@wxs.nl> | 2021-03-02 20:22:41 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2021-03-02 20:22:41 +0100 |
commit | 0d300509bdd7497fd376844b2326f5917636590e (patch) | |
tree | 7b3236d0be4e2e6f0dac1171fde560ed9b9c89e6 /scripts | |
parent | d07afd7261f4bb5486cc016d8c90d532ba7fc0e4 (diff) | |
download | context-0d300509bdd7497fd376844b2326f5917636590e.tar.gz |
2021-03-02 19:20:00
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 |