summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* change badge output formatstructured-badgesstuebinm2021-12-162-15/+7
| | | | (following a discussion with hxchn)
* print list of maps in output jsonstuebinm2021-12-161-0/+1
|
* made a partial function totalstuebinm2021-12-161-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 ellipsesstuebinm2021-12-162-9/+5
|
* suggest setting map meta properties if not givenstuebinm2021-12-153-5/+18
|
* deal with group layer in existence checks properlystuebinm2021-12-141-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/scriptsstuebinm2021-12-141-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 levelsstuebinm2021-12-141-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 intstuebinm2021-12-142-16/+43
| | | | also, float properties exist, apparently
* startLayer can actually be set to `false`stuebinm2021-12-141-3/+2
| | | | (in which case it just doesn't do anything at all)
* refuse doubled map propertiesstuebinm2021-12-131-1/+2
|
* complain if map links that don't go to .json filesstuebinm2021-12-132-6/+20
|
* add special warning for rc3 old-style linksstuebinm2021-12-132-2/+13
| | | | (the format used last year is no longer applicable to this year's event)
* changes to tiled map formatstuebinm2021-12-132-3/+8
| | | | (found by running through rc3 2021 map submissions and looking at what failed)
* downgrad mapCopyright lint to suggestionstuebinm2021-12-121-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 scopesstuebinm2021-12-121-2/+4
|
* better lints for invalid linksstuebinm2021-12-122-21/+22
|
* lints for names that are used more than twicestuebinm2021-12-121-7/+13
| | | | | (previously it would just lint "can't use name twice" multiple times, which looks kind of silly)
* handle text objects in objectgroup layersstuebinm2021-12-122-22/+37
|
* lint individual tile propertiesstuebinm2021-12-121-1/+15
|
* rudimentary linting for overlapping layersstuebinm2021-12-085-1/+66
|
* fix mapCopyright lintstuebinm2021-12-081-3/+3
| | | | | (forgot that `error` is the builtin haskell function; the one to create linter errors is called `complain`)
* properties: copyright → tilesetCopyrightstuebinm2021-12-071-2/+2
|
* require mapCopyright to be setstuebinm2021-12-071-0/+3
|
* lots of code reorganising and some deduplicationstuebinm2021-12-048-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 namesstuebinm2021-12-044-16/+52
|
* update readme for badgesstuebinm2021-12-021-2/+22
|
* collect badges from object layersstuebinm2021-12-028-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 escapingstuebinm2021-12-022-6/+17
| | | | | | because we can't ever trust workadventure, apparently. why are we using that thing again?
* prepend jitsi room names with assembly tagstuebinm2021-11-301-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 namestuebinm2021-11-301-0/+2
| | | | | (since otherwise we might run into namespace clashes for assemblies with funny names)
* allow unknown propertiesstuebinm2021-11-301-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.stuebinm2021-11-302-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 readmestuebinm2021-11-281-4/+25
|
* git: ignore .stack-workstuebinm2021-11-281-0/+1
|
* various fixes to bugsstuebinm2021-11-287-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/walintstuebinm2021-11-281-11/+16
|\
| * why oh why does the prelude contain unsafe functionsstuebinm2021-11-231-1/+1
| | | | | | | | some parts of haskell are really, really old …
| * add a severity attribute to the json outputstuebinm2021-11-231-11/+16
| |
* | print aeson warning to stderr, not stdout …stuebinm2021-11-281-1/+2
|/
* pipeline: hopefully fix it?stuebinm2021-11-211-2/+2
|
* gitlab pipeline: more reasonable artefactstuebinm2021-11-211-2/+5
|
* whoops, forgot to add a filestuebinm2021-11-201-0/+80
|
* minor additionstuebinm2021-11-201-2/+4
|
* documentation for URI rewrite rulesstuebinm2021-11-201-9/+34
|
* make link adjustments configurablestuebinm2021-11-205-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 weblinksstuebinm2021-11-194-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 handlingstuebinm2021-11-191-9/+22
| | | | we don't want to accidentally copy maps, whoopsie
* add lint for empty group layersstuebinm2021-11-191-0/+7
|
* deal with group layersstuebinm2021-11-192-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 …