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

Ignore .git directories in wmllint as well.

Browse source
This commit is contained in:
Eric S. Raymond 2008-08-29 02:03:51 +00:00
parent 4a5ecd48b5
commit a53745e104
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
data/tools/wmllint
View file

@ -1938,6 +1938,7 @@ def translator(filename, mapxforms, textxform, versions):
return None
ignore = (".tgz", ".png", ".jpg", "-bak")
vctypes = (".svn", ".git")
def interesting(fn):
"Is a file interesting for conversion purposes?"
@ -1956,8 +1957,9 @@ def allcfgfiles(dir):
datafiles.append(dir)
else:
for root, dirs, files in os.walk(dir):
if vcdir in dirs:
dirs.remove(vcdir)
for vcsubdir in vctypes:
if vcsubdir in dirs:
dirs.remove(vcsubdir)
for name in files:
if interesting(os.path.join(root, name)):
datafiles.append(os.path.join(root, name))