diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-08-20 18:19:40 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-08-20 18:19:40 +0200 |
commit | eac3559b6b0ef831294368a3a835070ecd7c44fc (patch) | |
tree | 1345e7e40d4311cb2667874f22b5701b6fc25ee7 /scripts/context/lua/mtx-tools.lua | |
parent | 7539371c37c02bc2bc6c5d7ebffa2ffc6fec36c3 (diff) | |
download | context-eac3559b6b0ef831294368a3a835070ecd7c44fc.tar.gz |
2018-08-20 17:54:00
Diffstat (limited to 'scripts/context/lua/mtx-tools.lua')
-rw-r--r-- | scripts/context/lua/mtx-tools.lua | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-tools.lua b/scripts/context/lua/mtx-tools.lua index 69064c640..146c46f36 100644 --- a/scripts/context/lua/mtx-tools.lua +++ b/scripts/context/lua/mtx-tools.lua @@ -103,12 +103,18 @@ function scripts.tools.downcase() local basename = file.basename(name) if lower(basename) ~= basename then n = n + 1 + local low = lower(name) + if n == 1 then + report() + end + report("%a renamed to %a",name,low) if force then - os.rename(name,lower(name)) + os.rename(name,low) end end end) if n > 0 then + report() if force then report("%s files renamed",n) else |