lint: warn about duplicate lines

diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py
index 805f22b1fc0b0d3a4a8f3dd848ab3e95d628ac80..4599106434d28f3f7483c9d6f606d1a9b290b84e 100644 (file)
--- 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)