From 19a281d7cb11f31f58cd6b99ad37d6f83c818f3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Mart=C3=AD?= Date: Mon, 31 Aug 2015 15:32:52 -0700 Subject: [PATCH] lint: warn about duplicate lines --- fdroidserver/lint.py | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py index 805f22b1..45991064 100644 --- a/fdroidserver/lint.py +++ b/fdroidserver/lint.py @@ -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)