walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	server: proper job handling	stuebinm	2022-02-07	5	-67/+114
\| \| \| \| \|	Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
*	non-blocking server	stuebinm	2022-02-07	6	-94/+134
\|
*	basic server setup (using servant)	stuebinm	2022-02-01	7	-3/+274
\| \| \| \| \| \| \|	adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …
*	use hpack and clean up modules	stuebinm	2022-01-15	14	-156/+228
\| \| \| \|	as annoying as yaml is, cabal's package format is somehow worse, apparently
*	playing around with types	stuebinm	2022-01-02	4	-1/+40
\|
*	use url package for parsing of urls	jonny	2022-01-02	3	-13/+32
\|
*	fixed url injection by means of starting an url with "." and turning the ↵	jonathan	2022-01-02	1	-1/+1
\| \| \| \|	prefix into a subdomain
*	script links can't contain @	stuebinm	2022-01-02	1	-1/+3
\|
*	open BBBs in new Tab so that they work now :/	tabascoeye	2022-01-02	1	-2/+2
\| \| \|	PLEASE review! I have no idea of haskell
*	wa gets an extra ausgang	stuebinm	2022-01-02	1	-1/+1
\| \| \| \| \|	(please only deploy once https://git.cccv.de/hub/hub/-/merge_requests/492 is also deployed)
*	SECURITY: Fix path traversal in script verification	Serge Bazanski	2022-01-02	1	-2/+3
\| \| \| \| \| \| \| \|	The following used to be allowed: scripts: https://static.rc3.world/scripts/../maps/81c8add623eea2704f20/e65b545e-342f-4be0-b369-c0eacff7b15d/re-blessed.mp3.js This is obviously not good, as it allows scripts from arbitrary maps.
*	fix bbb urls a second time …	stuebinm	2022-01-02	1	-5/+1
\|
*	warn if main.json does not link back to lobby	stuebinm	2022-01-02	1	-6/+13
\|
*	allow live.dort.c3voc.de for audio	stuebinm	2022-01-02	1	-1/+1
\|
*	I would like to show the fahrplan in an iframe. Please allow	tabascoeye	2022-01-02	1	-1/+1
\|
*	fix bbb url resolution	stuebinm	2022-01-02	1	-1/+1
\|
*	allow *.streamproxy.rc3.world	stuebinm	2022-01-02	1	-1/+2
\|
*	type systems don't protect against off-by-one	stuebinm	2022-01-02	1	-1/+1
\|
*	urlencode dereferrer links	stuebinm	2022-01-02	2	-3/+4
\|
*	openWebsiteTriggerMessage can also be used for openTab	stuebinm	2022-01-02	1	-2/+8
\|
*	Allow to copy sounds for custom JS with ObjectProperty `loadSound`	Sven G. Brönstrup	2021-12-26	1	-1/+1
\|
*	separate blocking for separate contexts	stuebinm	2021-12-26	5	-32/+56
\| \| \| \| \|	(audio links now have their own allowlist, which won't put things through the dereferrer)
*	missing entrypoints can be non-fatal	stuebinm	2021-12-26	1	-7/+8
\|\
\| *	index on main: ee61cc5 change lint msg for property suggestions	stuebinm	2021-12-26	0	-0/+0
\|/
*	change lint msg for property suggestions	stuebinm	2021-12-26	1	-1/+1
\|
*	allow cdn.c3voc.de for audio streams	stuebinm	2021-12-25	1	-2/+2
\| \| \| \| \|	(this is a temporary solution, since it would invoke the dereferrer for things that aren't allowed, which is silly)
*	add lint if people set tilesetCopyright on tiles	stuebinm	2021-12-25	1	-0/+2
\|
*	whoops, forgot to delete an output field and now it's in the hub	stuebinm	2021-12-25	1	-1/+0
\|
*	attempt to fix curl pipeline	stuebinm	2021-12-25	1	-2/+1
\|
*	apply some hlint hints	stuebinm	2021-12-25	1	-3/+3
\|
*	correct dereferrer link	stuebinm	2021-12-25	1	-1/+1
\|
*	the lobby is allowed to contain defunct links	stuebinm	2021-12-25	1	-12/+15
\|
*	hint if people set collides on tilesets	stuebinm	2021-12-25	1	-1/+2
\|
*	add some allowed domains to default config	stuebinm	2021-12-25	1	-1/+1
\|
*	don't print doubled lints twice	stuebinm	2021-12-25	2	-11/+11
\|
*	better lint message	stuebinm	2021-12-25	1	-1/+1
\|
*	persist, default aren't always booleans	stuebinm	2021-12-24	1	-1/+0
\|
*	smaller changes	stuebinm	2021-12-24	3	-5/+4
\|
*	allow openWebsiteAllowApi if website is on static.rc3.world	stuebinm	2021-12-24	1	-2/+12
\|
*	allow shared (not just shared-) as prefix for shared jitsis	stuebinm	2021-12-24	1	-1/+1
\| \| \| \|	this might make things less confusing for some people
*	extra lint for people confused by badges	stuebinm	2021-12-23	1	-3/+4
\| \| \| \|	tbh I'm confused by them as well
*	some people define tilesets without images???	stuebinm	2021-12-23	2	-2/+4
\|
*	correct recognision of entrypoints in sublayers	stuebinm	2021-12-23	2	-16/+23
\| \| \| \| \|	also, the recursive check layer function slowly approaches something like readability!
*	chore: curl image	Rehlein	2021-12-23	1	-2/+1
\|
*	Merge branch 'chore/mapservice_pipeline_trigger' into 'main'	stuebinm	2021-12-23	1	-0/+11
\|\ \| \| \| \| \| \| \| \|	chore: add trigger for pipeline on main See merge request hub/walint!2
\| *	chore: add trigger for pipeline on main	Rehlein	2021-12-23	1	-0/+11
\|/
*	openTab's semantics are the same as openWebsite's	stuebinm	2021-12-23	1	-9/+6
\| \| \| \|	(it's not a modifier for openWebsite, as I had previously though)
*	add suggestions for misspelled properties	stuebinm	2021-12-23	6	-44/+86
\| \| \| \| \|	(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
*	limit output for frequent lints	stuebinm	2021-12-23	2	-2/+4
\| \| \| \|	it's now limited to just the first ten contexts, then an ellipsis
*	disallow properties with different capitalisations	stuebinm	2021-12-23	1	-10/+7
\| \| \| \| \|	since apparently sometimes workadventure is case-insensitive, and sometimes it's not