walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	make link adjustments configurable	stuebinm	2021-11-20	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.
*	add domain allow- and blocklists for weblinks	stuebinm	2021-11-19	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)
*	exit with code 1 if maximum lint level exceeded	stuebinm	2021-11-17	1	-1/+1
\|
*	add adjustment: add prefix for openWebsite	stuebinm	2021-11-16	1	-0/+1
\|
*	config options: implement script-related options	stuebinm	2021-11-14	1	-0/+2
\|
*	config: some small documentation	stuebinm	2021-11-14	1	-0/+4
\|
*	config option: don't copy asset files	stuebinm	2021-11-14	1	-3/+6
\|
*	Functional jitsiRoomAdminTag adjustment	stuebinm	2021-11-14	1	-2/+2
\| \| \| \|	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	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.