summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* 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 …
* assorted lints for properties found in some mapsstuebinm2021-11-181-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)
* add warnings for as-yet unlinted layer propertiesstuebinm2021-11-171-0/+9
|
* small fixesstuebinm2021-11-171-8/+7
|
* make map parser work with more mapsstuebinm2021-11-172-7/+39
| | | | | I found yet more properties that weren't really documented or weren't marked as optional, hurray!
* map format: turns out more things are optionalstuebinm2021-11-171-6/+6
| | | | | | | | the unhelpfulness of the spec is slowly starting to grate … Anyways, apparently a lot more properties don't have to be present, and you find out by finding maps somewhere that work but currently fail the parser.
* remove unused --allowScripts flagstuebinm2021-11-171-2/+0
| | | | | (didn't do anything, and it seems better to do all of these things in the config anyways)
* slight updates to documentationstuebinm2021-11-172-11/+16
|
* exit with code 1 if maximum lint level exceededstuebinm2021-11-174-15/+26
|
* reject map urls starting with /_/stuebinm2021-11-161-3/+6
|
* deleted old example filestuebinm2021-11-161-41271/+0
|
* add adjustment: add prefix for openWebsitestuebinm2021-11-163-3/+8
|
* fix default config.jsonstuebinm2021-11-161-0/+1
|
* disable print output when copying filesstuebinm2021-11-141-2/+2
| | | | (this would otherwise break the json schema if `--json` is given)
* config options: implement script-related optionsstuebinm2021-11-143-2/+20
|
* add documentation on what lints are supportedstuebinm2021-11-141-0/+53
|
* add example configstuebinm2021-11-141-0/+6
|
* Update Readme.mdstuebinm2021-11-141-1/+1
|
* add readmestuebinm2021-11-142-1/+111
|
* gitlab pipeline: guix → debian-based image + stackstuebinm2021-11-141-3/+3
|