Anonymous user
File extension is in extensions list: Difference between revisions
File extension is in extensions list (view source)
Revision as of 17:32, 9 December 2020
, 3 years agoReplaced "map" by "mapIt".
(Separated task and extra task. Added code for task.) |
(Replaced "map" by "mapIt".) |
||
Line 1,279:
echo fileName, ": ", fileName.splitFile().ext.toLowerAscii() in ExtList</lang>
Another way consists to use
<lang Nim>import os, sequtils, strutils
Line 1,285:
"MyData.7z.backup", "MyData...", "MyData"]
const ExtList =
for fileName in fileNameList:
|