tools/linelength.py

changeset 1017
fc1c13db9618
child 1058
695edd4f0411
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/linelength.py	Sun Feb 14 03:19:28 2016 +0200
@@ -0,0 +1,13 @@
+#!/usr/bin/env python3
+from sys import argv, stderr
+from os.path import realpath
+
+for filename in argv[1:]:
+	with open(filename, 'r') as fp:
+		try:
+			exceeders = [(i + 1) for i, ln in enumerate(fp.read().splitlines()) if len(ln.replace('\t', '    ')) > 120]
+
+			for linenumber in exceeders:
+				stderr.write('%s:%d: warning: line length exceeds 120 characters\n' % (realpath(filename), linenumber))
+		except Exception as e:
+			stderr.write('%s: warning: %s: %s\n' % (realpath(filename), type(e).__name__, e))

mercurial