walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	lint if tileset properties are set on the map instead	stuebinm	2021-12-16	1	-1/+5
\| \| \| \|	(this seems to be a common mistake so far)
*	made a partial function total	stuebinm	2021-12-16	1	-0/+2
\| \| \| \| \|	(shouldn't have been called anyways, but it's still nice not to have it fail if it ever does get called with that case)
*	we don't support ellipses	stuebinm	2021-12-16	2	-9/+5
\|
*	suggest setting map meta properties if not given	stuebinm	2021-12-15	3	-5/+18
\|
*	deal with group layer in existence checks properly	stuebinm	2021-12-14	1	-11/+20
\| \| \| \| \|	(before it would fail to find e.g. the start layer if it wasn't a top-level layer)
*	allow scripts from https://static.rc3.world/scripts	stuebinm	2021-12-14	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.
*	downgrade disallowed path-related lint levels	stuebinm	2021-12-14	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)
*	audioVolumne is of type float, not int	stuebinm	2021-12-14	2	-16/+43
\| \| \| \|	also, float properties exist, apparently
*	startLayer can actually be set to `false`	stuebinm	2021-12-14	1	-3/+2
\| \| \| \|	(in which case it just doesn't do anything at all)
*	refuse doubled map properties	stuebinm	2021-12-13	1	-1/+2
\|
*	complain if map links that don't go to .json files	stuebinm	2021-12-13	2	-6/+20
\|
*	add special warning for rc3 old-style links	stuebinm	2021-12-13	2	-2/+13
\| \| \| \|	(the format used last year is no longer applicable to this year's event)
*	changes to tiled map format	stuebinm	2021-12-13	2	-3/+8
\| \| \| \|	(found by running through rc3 2021 map submissions and looking at what failed)
*	downgrad mapCopyright lint to suggestion	stuebinm	2021-12-12	1	-1/+1
\| \| \| \| \|	(as per today's discussion with tabascoeye, mapCopyright should not be required, though I've left it as recommended)
*	update readme with new URI scopes	stuebinm	2021-12-12	1	-2/+4
\|
*	better lints for invalid links	stuebinm	2021-12-12	2	-21/+22
\|
*	lints for names that are used more than twice	stuebinm	2021-12-12	1	-7/+13
\| \| \| \| \|	(previously it would just lint "can't use name twice" multiple times, which looks kind of silly)
*	handle text objects in objectgroup layers	stuebinm	2021-12-12	2	-22/+37
\|
*	lint individual tile properties	stuebinm	2021-12-12	1	-1/+15
\|
*	rudimentary linting for overlapping layers	stuebinm	2021-12-08	5	-1/+66
\|
*	fix mapCopyright lint	stuebinm	2021-12-08	1	-3/+3
\| \| \| \| \|	(forgot that `error` is the builtin haskell function; the one to create linter errors is called `complain`)
*	properties: copyright → tilesetCopyright	stuebinm	2021-12-07	1	-2/+2
\|
*	require mapCopyright to be set	stuebinm	2021-12-07	1	-0/+3
\|
*	lots of code reorganising and some deduplication	stuebinm	2021-12-04	8	-230/+288
\| \| \| \| \| \| \|	it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly.
*	refuse doubled names	stuebinm	2021-12-04	4	-16/+52
\|
*	update readme for badges	stuebinm	2021-12-02	1	-2/+22
\|
*	collect badges from object layers	stuebinm	2021-12-02	8	-52/+230
\| \| \| \| \|	this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.
*	do (naïve) html escaping	stuebinm	2021-12-02	2	-6/+17
\| \| \| \| \| \|	because we can't ever trust workadventure, apparently. why are we using that thing again?
*	prepend jitsi room names with assembly tag	stuebinm	2021-11-30	1	-2/+7
\| \| \| \| \|	(to prevent name clashes between assemblies; shared jitsi rooms are still possible simply by letting their names start with "shared-")
*	jitsiRoomAdminTag: prepend "assembly-" before name	stuebinm	2021-11-30	1	-0/+2
\| \| \| \| \|	(since otherwise we might run into namespace clashes for assemblies with funny names)
*	allow unknown properties	stuebinm	2021-11-30	1	-11/+2
\| \| \| \| \| \|	since the scripting API can define new properties and we (for now) do not know what the script may or may not be able to do, the linter would otherwise reject potentially valid maps.
*	rudimentary emulation of bbbRoom etc.	stuebinm	2021-11-30	2	-4/+32
\| \| \| \| \| \|	("rudimentary" since for now the best it can do is just replacing / prepending urls; presumably, it should also do a sanity check or something of the like)
*	update readme	stuebinm	2021-11-28	1	-4/+25
\|
*	git: ignore .stack-work	stuebinm	2021-11-28	1	-0/+1
\|
*	various fixes to bugs	stuebinm	2021-11-28	7	-89/+104
\| \| \| \| \| \| \| \| \| \|	Among them - always set correct exit codes - refuse to write out files if the out path already exists - calculate the overall severity correctly - slightly changed the json output schema - also output the text output format in json - make the default config.json suitable for a production environment
*	Merge branch 'main' of git.cccv.de:hub/walint	stuebinm	2021-11-28	1	-11/+16
\|\
\| *	why oh why does the prelude contain unsafe functions	stuebinm	2021-11-23	1	-1/+1
\| \| \| \| \| \| \| \|	some parts of haskell are really, really old …
\| *	add a severity attribute to the json output	stuebinm	2021-11-23	1	-11/+16
\| \|
* \|	print aeson warning to stderr, not stdout …	stuebinm	2021-11-28	1	-1/+2
\|/
*	pipeline: hopefully fix it?	stuebinm	2021-11-21	1	-2/+2
\|
*	gitlab pipeline: more reasonable artefact	stuebinm	2021-11-21	1	-2/+5
\|
*	whoops, forgot to add a file	stuebinm	2021-11-20	1	-0/+80
\|
*	minor addition	stuebinm	2021-11-20	1	-2/+4
\|
*	documentation for URI rewrite rules	stuebinm	2021-11-20	1	-9/+34
\|
*	make link adjustments configurable	stuebinm	2021-11-20	5	-46/+64
\| \| \| \| \| \|	this allows for creating custom URI "schemas" in the linter's config, which may be either allowed, prefixed, or translated according to some (domain-based) substitution.
*	add domain allow- and blocklists for weblinks	stuebinm	2021-11-19	4	-6/+33
\| \| \| \| \| \|	(these use a rather crude regex for parsing, which may be possible to side-step, and which should probably be replaced by something that was actually written while following the relevant rfc)
*	fix group layer handling	stuebinm	2021-11-19	1	-9/+22
\| \| \| \|	we don't want to accidentally copy maps, whoopsie
*	add lint for empty group layers	stuebinm	2021-11-19	1	-0/+7
\|
*	deal with group layers	stuebinm	2021-11-19	2	-9/+37
\| \| \| \| \|	I have no idea why these even exist, but apparently they do, so here's some code to deal with them in a hopefully useful manner …
*	assorted lints for properties found in some maps	stuebinm	2021-11-18	1	-17/+56
\| \| \| \| \|	(mostly to do with the scripting API, but also some old ones which are already deprecated / not even mentioned in the documentation anymore)