walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-12-24	allow shared (not just shared-) as prefix for shared jitsis	stuebinm	1	-1/+1
	this might make things less confusing for some people
2021-12-23	extra lint for people confused by badges	stuebinm	1	-3/+4
	tbh I'm confused by them as well
2021-12-23	some people define tilesets without images???	stuebinm	1	-1/+3

2021-12-23	openTab's semantics are the same as openWebsite's	stuebinm	1	-9/+6
	(it's not a modifier for openWebsite, as I had previously though)
2021-12-23	add suggestions for misspelled properties	stuebinm	1	-37/+77
	(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
2021-12-23	disallow properties with different capitalisations	stuebinm	1	-10/+7
	since apparently sometimes workadventure is case-insensitive, and sometimes it's not
2021-12-22	Fixed types of extended scripts properties	Sven G. Brönstrup	1	-3/+8

2021-12-22	shorten Properties.hs	stuebinm	1	-152/+76
	down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly)
2021-12-21	Did some of the desired changes	Sven G. Brönstrup	1	-7/+10

2021-12-21	check that bbbRoom contains a valid assembly_slug	stuebinm	1	-7/+12

2021-12-21	correct bbb link substitution	stuebinm	1	-10/+11
	(unfortunately this one's hardcoded, the config options just aren't general enough)
2021-12-20	generalise unwrapURI a bit	stuebinm	1	-4/+19

2021-12-20	something something encoding mismatch	stuebinm	1	-1/+1

2021-12-20	Resolved merge conflict	Sven G. Brönstrup	1	-5/+1

2021-12-20	Added extended script action zone properties	Sven G. Brönstrup	1	-0/+11

2021-12-20	forbid opening local html files in iframes	stuebinm	1	-2/+4

2021-12-20	disallow extended API variables in links	stuebinm	1	-0/+2

2021-12-19	Wrap urls for inline iframes	Sven G. Brönstrup	1	-0/+3

2021-12-19	Added bell properties	Sven G. Brönstrup	1	-4/+36

2021-12-19	Only suggert door properties on variables	Sven G. Brönstrup	1	-15/+15

2021-12-19	Lint door stuff	Sven G. Brönstrup	1	-1/+87

2021-12-18	fixed parsing of tiled objects	stuebinm	1	-8/+9
	(points behave slightly differntly than I thought)
2021-12-18	quick badge bugfix	stuebinm	1	-1/+1
	obviously, it should remove all objects defining badges, not those NOT defining badges …
2021-12-18	badges are set on objects, not layers	stuebinm	1	-41/+44
	(and `url` is, too)
2021-12-18	remove mapImage property	stuebinm	1	-3/+2

2021-12-18	fix some weird lints	stuebinm	1	-2/+1
	(since we're starting to get maps that actually pass linting, we also get to find more bugs! yay!)
2021-12-16	special handling of world:// and assembly names	stuebinm	1	-2/+7
	these now have their own top-level config attribute which is essentially a shorthand for setting one that's deeper nested.
2021-12-16	fixed & removed a bunch of old TODOs	stuebinm	1	-15/+30

2021-12-16	"collides" can't be set on layers	stuebinm	1	-4/+4

2021-12-16	lint if tileset properties are set on the map instead	stuebinm	1	-1/+5
	(this seems to be a common mistake so far)
2021-12-16	we don't support ellipses	stuebinm	1	-5/+4

2021-12-15	suggest setting map meta properties if not given	stuebinm	1	-0/+9

2021-12-14	deal with group layer in existence checks properly	stuebinm	1	-11/+20
	(before it would fail to find e.g. the start layer if it wasn't a top-level layer)
2021-12-14	allow scripts from https://static.rc3.world/scripts	stuebinm	1	-15/+10
	The script inject doesn't do anything for now; guess I'll re-add that once we actually have a URI for that.
2021-12-14	downgrade disallowed path-related lint levels	stuebinm	1	-3/+3
	(these were `error` before, which didn't really make sense, since workadventure can deal with them, they're just not allowed at rc3)
2021-12-14	audioVolumne is of type float, not int	stuebinm	1	-4/+19
	also, float properties exist, apparently
2021-12-14	startLayer can actually be set to `false`	stuebinm	1	-3/+2
	(in which case it just doesn't do anything at all)
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
	(the format used last year is no longer applicable to this year's event)
2021-12-13	changes to tiled map format	stuebinm	1	-1/+4
	(found by running through rc3 2021 map submissions and looking at what failed)
2021-12-12	downgrad mapCopyright lint to suggestion	stuebinm	1	-1/+1
	(as per today's discussion with tabascoeye, mapCopyright should not be required, though I've left it as recommended)
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
	(previously it would just lint "can't use name twice" multiple times, which looks kind of silly)
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
	(forgot that `error` is the builtin haskell function; the one to create linter errors is called `complain`)
2021-12-07	properties: copyright → tilesetCopyright	stuebinm	1	-2/+2

2021-12-07	require mapCopyright to be set	stuebinm	1	-0/+3