lint: warn about duplicate lines

This commit is contained in:
Daniel Martí committed 2015-08-31 15:32:52 -07:00
1 parent 23794446f7
commit 19a281d7cb
1 file changed
+8
+8
View File
@@ -260,6 +260,14 @@ def main():
or any(not desc[l - 1] and not desc[l] for l in range(1, len(desc)))):
warn("Description has an extra empty line")
seenlines = set()
for l in app['Description']:
if len(l) < 1:
continue
if l in seenlines:
warn("Description has a duplicate line")
seenlines.add(l)
for l in app['Description']:
for um in desc_url.finditer(l):
url = um.group(1)