tools/linelength.py

Fri, 01 Jul 2022 23:51:16 +0300

author
Teemu Piippo <teemu.s.piippo@gmail.com>
date
Fri, 01 Jul 2022 23:51:16 +0300
changeset 314
4642ba1218e8
parent 114
4e03b0e2a29f
permissions
-rwxr-xr-x

Added rudimentary cylinder extrusion into circle tool.
I really had to think which way the vectors are in this one

#!/usr/bin/env python3
import sys
def check(filename):
	with open(filename) as file:
		for linenumber, line in enumerate(file, 1):
			if line[-1] == '\n':
				line = line[:-1]
			line = str.replace(line, '\t', ' ' * 4)
			if len(line) > 120:
				print(str.format(
					'{filename}:{linenumber}: warning: line length exceeds 120 characters',
					filename = filename,
					linenumber = linenumber
				), file = sys.stderr)
def main():
	for filename in sys.argv[1:]:
		check(filename)
	return 0
if __name__ == '__main__':
	sys.exit(main())

mercurial