walint - A linter for workadventure maps

	Commit message (Expand)	Author	Files	Lines
2021-12-14	startLayer can actually be set to `false`	stuebinm	1	-3/+2
2021-12-13	refuse doubled map properties	stuebinm	1	-1/+2
2021-12-13	complain if map links that don't go to .json files	stuebinm	1	-6/+14
2021-12-13	add special warning for rc3 old-style links	stuebinm	1	-2/+5
2021-12-13	changes to tiled map format	stuebinm	1	-1/+4
2021-12-12	downgrad mapCopyright lint to suggestion	stuebinm	1	-1/+1
2021-12-12	better lints for invalid links	stuebinm	1	-18/+15
2021-12-12	lints for names that are used more than twice	stuebinm	1	-7/+13
2021-12-12	handle text objects in objectgroup layers	stuebinm	1	-16/+21
2021-12-12	lint individual tile properties	stuebinm	1	-1/+15
2021-12-08	rudimentary linting for overlapping layers	stuebinm	1	-0/+17
2021-12-08	fix mapCopyright lint	stuebinm	1	-3/+3
2021-12-07	properties: copyright → tilesetCopyright	stuebinm	1	-2/+2
2021-12-07	require mapCopyright to be set	stuebinm	1	-0/+3
2021-12-04	lots of code reorganising and some deduplication	stuebinm	1	-92/+117
2021-12-04	refuse doubled names	stuebinm	1	-15/+33
2021-12-02	collect badges from object layers	stuebinm	1	-9/+57
2021-12-02	do (naïve) html escaping	stuebinm	1	-6/+11
2021-11-30	prepend jitsi room names with assembly tag	stuebinm	1	-2/+7
2021-11-30	jitsiRoomAdminTag: prepend "assembly-" before name	stuebinm	1	-0/+2
2021-11-30	allow unknown properties	stuebinm	1	-11/+2
2021-11-30	rudimentary emulation of bbbRoom etc.	stuebinm	1	-4/+26
2021-11-28	various fixes to bugs	stuebinm	1	-34/+34
2021-11-20	make link adjustments configurable	stuebinm	1	-24/+35
2021-11-19	add domain allow- and blocklists for weblinks	stuebinm	1	-4/+14
2021-11-19	add lint for empty group layers	stuebinm	1	-0/+7
2021-11-19	deal with group layers	stuebinm	1	-5/+0
2021-11-18	assorted lints for properties found in some maps	stuebinm	1	-17/+56
2021-11-17	add warnings for as-yet unlinted layer properties	stuebinm	1	-0/+9
2021-11-17	make map parser work with more maps	stuebinm	1	-2/+14
2021-11-16	reject map urls starting with /_/	stuebinm	1	-3/+6
2021-11-16	add adjustment: add prefix for openWebsite	stuebinm	1	-2/+5
2021-11-14	config options: implement script-related options	stuebinm	1	-2/+13
2021-11-14	Functional jitsiRoomAdminTag adjustment	stuebinm	1	-6/+11
2021-11-10	little code cleanup	stuebinm	1	-1/+1
2021-11-09	first example of a map adjustment	stuebinm	1	-10/+21
2021-11-02	monad plumbing to let the linter modify things	stuebinm	1	-1/+1
2021-10-30	better lint messages	stuebinm	1	-10/+10
2021-10-30	re-enable dependency checking	stuebinm	1	-2/+3
2021-10-30	make aeson instances agree with themselves	stuebinm	1	-14/+7
2021-10-30	more sensible msg for "property required by"-lints	stuebinm	1	-1/+8
2021-10-30	add tileset property linting	stuebinm	1	-6/+23
2021-10-30	add warning for very large tileset images	stuebinm	1	-2/+3
2021-09-30	simple map-map link dependency checking	stuebinm	1	-1/+4
2021-09-23	very naïve handling of directories	stuebinm	1	-1/+1
2021-09-20	use PrettyPrinter more	stuebinm	1	-4/+3
2021-09-20	typechecking for path depths!	stuebinm	1	-53/+67
2021-09-20	rebuilding the core LintWriter monad	stuebinm	1	-11/+11
2021-09-20	simple parsing of local dependency paths	stuebinm	1	-11/+16
2021-09-20	moving code around	stuebinm	1	-57/+69