summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
| * something something encoding mismatchstuebinm2021-12-201-1/+1
| |
* | Resolved merge conflictSven G. Brönstrup2021-12-201-5/+1
| |
* | Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-201-1/+4
|\|
| * forbid opening local html files in iframesstuebinm2021-12-201-2/+4
| |
* | Added extended script action zone propertiesSven G. Brönstrup2021-12-201-0/+11
| |
* | Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-201-0/+2
|\|
| * disallow extended API variables in linksstuebinm2021-12-201-0/+2
| |
* | Wrap urls for inline iframesSven G. Brönstrup2021-12-191-0/+3
| |
* | Added bell propertiesSven G. Brönstrup2021-12-191-4/+36
| |
* | Only suggert door properties on variablesSven G. Brönstrup2021-12-191-15/+15
| |
* | Lint door stuffSven G. Brönstrup2021-12-191-1/+87
|/
* fixed parsing of tiled objectsstuebinm2021-12-181-8/+9
| | | | (points behave slightly differntly than I thought)
* quick badge bugfixstuebinm2021-12-181-1/+1
| | | | | obviously, it should remove all objects defining badges, not those NOT defining badges …
* badges are set on objects, not layersstuebinm2021-12-181-41/+44
| | | | (and `url` is, too)
* remove mapImage propertystuebinm2021-12-181-3/+2
|
* fix some weird lintsstuebinm2021-12-181-2/+1
| | | | | (since we're starting to get maps that actually pass linting, we also get to find more bugs! yay!)
* special handling of world:// and assembly namesstuebinm2021-12-161-2/+7
| | | | | these now have their own top-level config attribute which is essentially a shorthand for setting one that's deeper nested.
* fixed & removed a bunch of old TODOsstuebinm2021-12-161-15/+30
|
* "collides" can't be set on layersstuebinm2021-12-161-4/+4
|
* lint if tileset properties are set on the map insteadstuebinm2021-12-161-1/+5
| | | | (this seems to be a common mistake so far)
* we don't support ellipsesstuebinm2021-12-161-5/+4
|
* suggest setting map meta properties if not givenstuebinm2021-12-151-0/+9
|
* 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-141-4/+19
| | | | 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-131-6/+14
|
* add special warning for rc3 old-style linksstuebinm2021-12-131-2/+5
| | | | (the format used last year is no longer applicable to this year's event)
* changes to tiled map formatstuebinm2021-12-131-1/+4
| | | | (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)
* better lints for invalid linksstuebinm2021-12-121-18/+15
|
* 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-121-16/+21
|
* lint individual tile propertiesstuebinm2021-12-121-1/+15
|
* rudimentary linting for overlapping layersstuebinm2021-12-081-0/+17
|
* 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-041-92/+117
| | | | | | | 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-041-15/+33
|
* collect badges from object layersstuebinm2021-12-021-9/+57
| | | | | 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-021-6/+11
| | | | | | 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-301-4/+26
| | | | | | ("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)
* various fixes to bugsstuebinm2021-11-281-34/+34
| | | | | | | | | | 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
* make link adjustments configurablestuebinm2021-11-201-24/+35
| | | | | | 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.