From: Daniel Martí <mvdan@mvdan.cc>
Date: Mon, 31 Aug 2015 22:32:52 +0000 (-0700)
Subject: lint: warn about duplicate lines
X-Git-Tag: 0.5.0~144
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=19a281d7cb11f31f58cd6b99ad37d6f83c818f3d;p=fdroidserver.git

lint: warn about duplicate lines
---

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)