Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | add runtime warning for older Aeson versions | stuebinm | 2021-11-14 | 1 | -2/+22 |
| | |||||
* | build with stack & use newer Aeson | stuebinm | 2021-11-14 | 2 | -0/+124 |
| | | | | since the older versions of Aeson can be attacked via hash-flooding. | ||||
* | config: some small documentation | stuebinm | 2021-11-14 | 1 | -0/+4 |
| | |||||
* | config option: don't copy asset files | stuebinm | 2021-11-14 | 3 | -22/+28 |
| | |||||
* | Functional jitsiRoomAdminTag adjustment | stuebinm | 2021-11-14 | 8 | -39/+55 |
| | | | | also yet another typeclass™, because why not? | ||||
* | add some simple config options | stuebinm | 2021-11-14 | 1 | -9/+30 |
| | |||||
* | too much type level stuff to read a config file | stuebinm | 2021-11-14 | 3 | -3/+120 |
| | | | | | | | | | 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 assets | stuebinm | 2021-11-10 | 2 | -7/+14 |
| | | | | (but not (yet?) on missing maps/entrypoints) | ||||
* | copy map assets (and refuse if any are missing) | stuebinm | 2021-11-10 | 3 | -23/+57 |
| | |||||
* | extra module for repository writeout | stuebinm | 2021-11-10 | 5 | -12/+36 |
| | |||||
* | remove dead code | stuebinm | 2021-11-10 | 2 | -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 cleanup | stuebinm | 2021-11-10 | 2 | -8/+6 |
| | |||||
* | first example of a map adjustment | stuebinm | 2021-11-09 | 6 | -42/+96 |
| | | | | | | | | | 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 things | stuebinm | 2021-11-02 | 2 | -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 messages | stuebinm | 2021-10-30 | 1 | -10/+10 |
| | |||||
* | turns out records are just sugar | stuebinm | 2021-10-30 | 1 | -8/+2 |
| | | | | | (and one that contains almost only mempty can be written much shorter than I thought it could) | ||||
* | yet more tiled properties | stuebinm | 2021-10-30 | 2 | -2/+6 |
| |