summaryrefslogtreecommitdiff
path: root/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* handle text objects in objectgroup layersstuebinm2021-12-122-22/+37
|
* lint individual tile propertiesstuebinm2021-12-121-1/+15
|
* rudimentary linting for overlapping layersstuebinm2021-12-084-1/+65
|
* 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-047-228/+286
| | | | | | | 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
|
* collect badges from object layersstuebinm2021-12-027-52/+229
| | | | | 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-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-285-83/+96
| | | | | | | | | | 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
* 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
|
* whoops, forgot to add a filestuebinm2021-11-201-0/+80
|
* make link adjustments configurablestuebinm2021-11-203-43/+48
| | | | | | 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-193-4/+29
| | | | | | (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.
* exit with code 1 if maximum lint level exceededstuebinm2021-11-173-14/+25
|
* reject map urls starting with /_/stuebinm2021-11-161-3/+6
|
* add adjustment: add prefix for openWebsitestuebinm2021-11-162-2/+6
|
* 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
|
* config: some small documentationstuebinm2021-11-141-0/+4
|
* config option: don't copy asset filesstuebinm2021-11-142-21/+27
|
* Functional jitsiRoomAdminTag adjustmentstuebinm2021-11-147-35/+54
| | | | also yet another typeclass™, because why not?
* add some simple config optionsstuebinm2021-11-141-9/+30
|
* too much type level stuff to read a config filestuebinm2021-11-141-0/+99
| | | | | | | | | This got kinda out of hand, but it can now (a) read a json config file and (b) patch that with another json given on the command line to change some of the options given in the file. No, I probably didn't need to make the `patch` function sufficiently general to work with arbitrary records, but it was kinda fun to do.
* fail on missing map assetsstuebinm2021-11-101-3/+8
| | | | (but not (yet?) on missing maps/entrypoints)
* copy map assets (and refuse if any are missing)stuebinm2021-11-102-22/+56
|
* extra module for repository writeoutstuebinm2021-11-103-10/+33
|
* remove dead codestuebinm2021-11-102-41/+11
| | | | | | | | (also fix some hlints) This removes some code that was apparently dead and I never noticed. I only noticed now since it wouldn't work with the newer versions of Aeson anymore.
* little code cleanupstuebinm2021-11-102-8/+6
|
* first example of a map adjustmentstuebinm2021-11-095-33/+81
| | | | | | | | | this also includes some more monad plumbing, and an option for the linter to actually write things out again. Some of the previous commit was reverted a bit since it turned out to be stupid, but overall it was suprisingly easy once I got around to it, so yay! i guess Also includes a fairly silly example of how to use it.
* monad plumbing to let the linter modify thingsstuebinm2021-11-022-14/+24
| | | | | | | I'm not sure if this is the right approach tbh — it lets the LintWriter monad modify its own context, but maybe we might run into cases where lints and modifications depend on each other across longer "distances" than just the context of the linter (i.e. just across a property?)
* better lint messagesstuebinm2021-10-301-10/+10
|
* turns out records are just sugarstuebinm2021-10-301-8/+2
| | | | | (and one that contains almost only mempty can be written much shorter than I thought it could)
* yet more tiled propertiesstuebinm2021-10-302-2/+6
|
* re-enable dependency checkingstuebinm2021-10-302-21/+22
|
* also flipping tileset lint output structurestuebinm2021-10-302-26/+36
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 20:40:29 +0000