Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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) | ||||
* | add warnings for as-yet unlinted layer properties | stuebinm | 2021-11-17 | 1 | -0/+9 |
| | |||||
* | small fixes | stuebinm | 2021-11-17 | 1 | -8/+7 |
| | |||||
* | make map parser work with more maps | stuebinm | 2021-11-17 | 2 | -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 optional | stuebinm | 2021-11-17 | 1 | -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 flag | stuebinm | 2021-11-17 | 1 | -2/+0 |
| | | | | | (didn't do anything, and it seems better to do all of these things in the config anyways) | ||||
* | slight updates to documentation | stuebinm | 2021-11-17 | 2 | -11/+16 |
| | |||||
* | exit with code 1 if maximum lint level exceeded | stuebinm | 2021-11-17 | 4 | -15/+26 |
| | |||||
* | reject map urls starting with /_/ | stuebinm | 2021-11-16 | 1 | -3/+6 |
| | |||||
* | deleted old example file | stuebinm | 2021-11-16 | 1 | -41271/+0 |
| | |||||
* | add adjustment: add prefix for openWebsite | stuebinm | 2021-11-16 | 3 | -3/+8 |
| | |||||
* | fix default config.json | stuebinm | 2021-11-16 | 1 | -0/+1 |
| | |||||
* | disable print output when copying files | stuebinm | 2021-11-14 | 1 | -2/+2 |
| | | | | (this would otherwise break the json schema if `--json` is given) | ||||
* | config options: implement script-related options | stuebinm | 2021-11-14 | 3 | -2/+20 |
| | |||||
* | add documentation on what lints are supported | stuebinm | 2021-11-14 | 1 | -0/+53 |
| | |||||
* | add example config | stuebinm | 2021-11-14 | 1 | -0/+6 |
| | |||||
* | Update Readme.md | stuebinm | 2021-11-14 | 1 | -1/+1 |
| | |||||
* | add readme | stuebinm | 2021-11-14 | 2 | -1/+111 |
| | |||||
* | gitlab pipeline: guix → debian-based image + stack | stuebinm | 2021-11-14 | 1 | -3/+3 |
| |