walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-03-19	server: post map updates to exneuland's API	stuebinm	1	-0/+2

2022-03-19	server: remove cli-git, cli-extras	stuebinm	1	-2/+1
	both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure!
2022-03-19	internal state: sort according to org	stuebinm	1	-2/+1
	(also, more lenses i guess)
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-0/+6
	a very simple setup that might be usable for divoc and similar small events
2022-03-19	… several hours of fighting with TOML later	stuebinm	1	-0/+1
	WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
2022-03-19	server: switch to universum prelude, some cleanup	stuebinm	1	-1/+4
	it's slightly less of a mess than it was before
2022-03-19	server: added (somewhat) sensible logging	stuebinm	1	-26/+23
	it's not very sensible, but at least it exists
2022-03-19	server: admin interface	stuebinm	1	-1/+1
	(for now, just a list of all maps and their current status)
2022-03-19	server: present lint results in pretty html	stuebinm	1	-0/+1
	(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-03-19	server: simple servant-lucid stuff	stuebinm	1	-1/+4

2022-03-19	server: simple toml config	stuebinm	1	-0/+1

2022-03-19	server: proper job handling	stuebinm	1	-0/+2
	Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-03-19	non-blocking server	stuebinm	1	-5/+6

2022-03-19	basic server setup (using servant)	stuebinm	1	-2/+34
	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 …
2022-03-19	use hpack and clean up modules	stuebinm	1	-76/+75
	as annoying as yaml is, cabal's package format is somehow worse, apparently
2022-03-19	playing around with types	stuebinm	1	-1/+3

2022-03-19	use url package for parsing of urls	jonny	1	-1/+2

2021-12-30	add dot language output for repository map graphs	stuebinm	1	-1/+2

2021-12-27	urlencode dereferrer links	stuebinm	1	-1/+2

2021-12-23	add suggestions for misspelled properties	stuebinm	1	-1/+2
	(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
2021-12-22	print version information on --version	stuebinm	1	-1/+4
	If --version is given, `walint` prints version information, then exists with code 0.
2021-12-17	simple graphviz visualisation of a repository	stuebinm	1	-1/+2
	might be useful to have
2021-12-17	some simple graph algorithms	stuebinm	1	-1/+3
	this just checks for maps from which it's impossible to reach `main.json`, and then gives a warning. Properly it should check if these maps have an exit to outside the repository (in which case it may give a suggestion, and an error otherwise). Also, redid some of the CheckDir code. No idea what that mess was, but it's marginally nicer now.
2021-12-16	fixed some warnings (and disabled others)	stuebinm	1	-1/+1
	So far i've never found an instance of -Wname-shadowing telling me anything useful, so it's disabled now, and most of the other trivial ones are fixed. (I assume this means I'll need -Wname-shadowing in about a day or two to find some bug ...)
2021-12-08	rudimentary linting for overlapping layers	stuebinm	1	-0/+1

2021-12-04	lots of code reorganising and some deduplication	stuebinm	1	-2/+2
	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.
2021-12-02	collect badges from object layers	stuebinm	1	-0/+1
	this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.
2021-11-20	make link adjustments configurable	stuebinm	1	-0/+1
	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-14	too much type level stuff to read a config file	stuebinm	1	-0/+2
	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.
2021-11-10	extra module for repository writeout	stuebinm	1	-0/+1

2021-10-04	relax dependency versions	stuebinm	1	-2/+2

2021-10-04	removed unnecessary dependency	stuebinm	1	-1/+1

2021-10-01	rename to walint	stuebinm	1	-4/+4

2021-09-30	nicer json output which leaks less haskell names	stuebinm	1	-1/+2

2021-09-23	prettier pretty printing and stuff	stuebinm	1	-0/+1
	also, configurable log level, which only required relaxing the type system once!
2021-09-23	handle all maps in entire repositories	stuebinm	1	-0/+1
	(+ checking that paths don't run outside of respositories)
2021-09-23	very naïve handling of directories	stuebinm	1	-0/+1

2021-09-20	simple parsing of local dependency paths	stuebinm	1	-1/+3

2021-09-18	moved types into Types.hs	stuebinm	1	-0/+1
	it's almost as if there's some structure to this code!
2021-09-16	input options, output json	stuebinm	1	-6/+8
	input options are mostly dummies for now, but some work (e.g. --inpath and --json). Lints can now be optionally printed as json to be reasonably machine-readable (and the json can be pretty-printed to make it human-readable again …).
2021-09-16	moving lots of code around	stuebinm	1	-8/+27
	(also renaming things now that concepts seem a bit clearer)