tools/linelength.py

Tue, 16 Feb 2016 19:59:43 +0200

author
Teemu Piippo <crimsondusk64@gmail.com>
date
Tue, 16 Feb 2016 19:59:43 +0200
changeset 1023
9450ac3cd930
parent 1017
fc1c13db9618
child 1058
695edd4f0411
permissions
-rwxr-xr-x

Split grid stuff into a new class Grid in grid.cpp/grid.h

#!/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