0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wmllint-1.4: replaced calls to vcmove() with os.rename()

Browse source
This commit is contained in:
Elvish_Hunter 2016-01-12 17:16:15 +01:00
parent cf8ff909e1
commit d873695b5f
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
data/tools/wmllint-1.4
View file

@ -2281,10 +2281,9 @@ if __name__ == '__main__':
# FIXME: We should make some effort to rename mask files.
if not revert and not diffs:
if not fn.endswith(".map") and not fn.endswith(".mask") and is_map(fn):
mover = vcmove(fn, fn + ".map")
print(mover)
print('wmllint: renaming "%s" to "%s"' % (fn, fn + ".map"))
if not dryrun:
os.system(mover)
os.rename(fn, fn + ".map")
elif fn in is_main and os.path.isdir(fn.replace('.cfg', '')):
main = fn.replace('.cfg', '/_main.cfg')
if os.path.exists(main):