summaryrefslogtreecommitdiff
path: root/walint.cabal (follow)
Commit message (Collapse)AuthorAgeFilesLines
* server: remove cli-git, cli-extrasstuebinm2022-03-191-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!
* internal state: sort according to orgstuebinm2022-03-191-2/+1
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-03-191-0/+6
| | | | a very simple setup that might be usable for divoc and similar small events
* … several hours of fighting with TOML laterstuebinm2022-03-191-0/+1
| | | | | | WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
* server: switch to universum prelude, some cleanupstuebinm2022-03-191-1/+4
| | | | it's slightly less of a mess than it was before
* server: added (somewhat) sensible loggingstuebinm2022-03-191-26/+23
| | | | it's not very sensible, but at least it exists
* server: admin interfacestuebinm2022-03-191-1/+1
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-03-191-0/+1
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-03-191-1/+4
|
* server: simple toml configstuebinm2022-03-191-0/+1
|
* server: proper job handlingstuebinm2022-03-191-0/+2
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-03-191-5/+6
|
* basic server setup (using servant)stuebinm2022-03-191-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 …
* use hpack and clean up modulesstuebinm2022-03-191-76/+75
| | | | as annoying as yaml is, cabal's package format is somehow worse, apparently
* playing around with typesstuebinm2022-03-191-1/+3
|
* use url package for parsing of urlsjonny2022-03-191-1/+2
|
* add dot language output for repository map graphsstuebinm2021-12-301-1/+2
|
* urlencode dereferrer linksstuebinm2021-12-271-1/+2
|
* add suggestions for misspelled propertiesstuebinm2021-12-231-1/+2
| | | | | (suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
* print version information on --versionstuebinm2021-12-221-1/+4
| | | | | If --version is given, `walint` prints version information, then exists with code 0.
* simple graphviz visualisation of a repositorystuebinm2021-12-171-1/+2
| | | | might be useful to have
* some simple graph algorithmsstuebinm2021-12-171-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.
* fixed some warnings (and disabled others)stuebinm2021-12-161-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 ...)
* rudimentary linting for overlapping layersstuebinm2021-12-081-0/+1
|
* lots of code reorganising and some deduplicationstuebinm2021-12-041-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.
* collect badges from object layersstuebinm2021-12-021-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.
* make link adjustments configurablestuebinm2021-11-201-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.
* too much type level stuff to read a config filestuebinm2021-11-141-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.
* extra module for repository writeoutstuebinm2021-11-101-0/+1
|
* relax dependency versionsstuebinm2021-10-041-2/+2
|
* removed unnecessary dependencystuebinm2021-10-041-1/+1
|
* rename to walintstuebinm2021-10-011-0/+64