walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2021-11-20	make link adjustments configurable	stuebinm	1	-7/+4
	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.
2021-11-19	add domain allow- and blocklists for weblinks	stuebinm	1	-0/+5
	(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)
2021-11-17	exit with code 1 if maximum lint level exceeded	stuebinm	1	-1/+1

2021-11-16	add adjustment: add prefix for openWebsite	stuebinm	1	-0/+1

2021-11-14	config options: implement script-related options	stuebinm	1	-0/+2

2021-11-14	config: some small documentation	stuebinm	1	-0/+4

2021-11-14	config option: don't copy asset files	stuebinm	1	-3/+6

2021-11-14	Functional jitsiRoomAdminTag adjustment	stuebinm	1	-2/+2
	also yet another typeclass™, because why not?
2021-11-14	add some simple config options	stuebinm	1	-9/+30

2021-11-14	too much type level stuff to read a config file	stuebinm	1	-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.