summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* server: small html improvementsplaygroundstuebinm2022-03-061-3/+6
| | | | bootstrap is horrible and should be replaced
* fix cwality-mapsstuebinm2022-03-061-2/+2
| | | | whoops, forgot this earlier
* make tiled even more strictstuebinm2022-03-062-9/+10
| | | | | | turns out aeson really REALLY likes to keep huge scientific numbers around, which is great if your data structures consist largely of arrays of (small) integers!
* make tiled stricter (and organise some imports)stuebinm2022-03-067-63/+50
|
* walint: some marginally nicer codestuebinm2022-03-061-51/+47
|
* server: decrease default lint intervalstuebinm2022-03-061-1/+1
|
* server: don't hardcode the websocket domain/protocolstuebinm2022-03-061-1/+2
|
* update haskell.nix hashstuebinm2022-03-061-2/+2
|
* server: websocket for updates & auto-reloadstuebinm2022-03-069-84/+158
| | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
* server: add a very simple relint buttonstuebinm2022-03-065-40/+79
|
* update readmestuebinm2022-03-031-27/+22
| | | | | this isn't comprehensive or anything, but at least acknowledges that this repo now contains more than just the linter
* mapserver: somewhat more decent loggingstuebinm2022-03-034-27/+32
|
* cwality-maps: better loggingstuebinm2022-03-033-5/+13
|
* cwality-maps: remove unused parametersstuebinm2022-03-031-5/+2
| | | | | the substitutions + templating seems reasonably powerfull, let's see how far we get without custom-made specific things.
* cwality-maps: add mustache templatingstuebinm2022-03-036-62/+120
| | | | | not going to be my faviourite templating language, but it seems to work pretty well for this.
* little server for making cwality maps (which meow, for now)stuebinm2022-02-285-4/+297
|
* separate tiled modules out into own packagestuebinm2022-02-2810-12/+42
|
* server: write out adjusted mapsstuebinm2022-02-256-27/+69
|
* remove unused dependenciesstuebinm2022-02-182-6/+0
|
* switch to universum preludestuebinm2022-02-1824-287/+279
| | | | also don't keep adjusted maps around if not necessary
* sprinkle some NFData everywherestuebinm2022-02-1711-39/+61
| | | | (also some evaluateNF, leading to slightly less memory usage)
* server: remove a thunk leakstuebinm2022-02-174-22/+34
| | | | | (really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
* update nix build systemstuebinm2022-02-162-4/+4
|
* server: exneuland wants a token, apparentlystuebinm2022-02-163-19/+17
|
* server: post map updates to exneuland's APIstuebinm2022-02-165-20/+71
|
* server: remove cli-git, cli-extrasstuebinm2022-02-164-42/+58
| | | | | | | | 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!
* server: add mapservice GET endpointstuebinm2022-02-166-57/+75
|
* internal state: sort according to orgstuebinm2022-02-167-45/+84
| | | | (also, more lenses i guess)
* server: repositores & orgs fixed in configstuebinm2022-02-168-199/+245
| | | | a very simple setup that might be usable for divoc and similar small events
* … several hours of fighting with TOML laterstuebinm2022-02-166-71/+115
| | | | | | 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-02-1510-146/+1186
| | | | it's slightly less of a mess than it was before
* add haskell.nix build systemstuebinm2022-02-125-4/+57
| | | | | | it's an annoying blockchain company, but apparently that thing is the only usable option to build stack things with nix without having to redefine all the (outdated) haskell packages in nixpkgs?
* don't fail compilation if git is unavailablestuebinm2022-02-121-1/+3
| | | | (instead, `walint --version` will now just say "unknown")
* server: added (somewhat) sensible loggingstuebinm2022-02-124-66/+75
| | | | it's not very sensible, but at least it exists
* server: more debug outputstuebinm2022-02-111-1/+1
|
* server: admin interfacestuebinm2022-02-115-65/+118
| | | | (for now, just a list of all maps and their current status)
* server: present lint results in pretty htmlstuebinm2022-02-1111-47/+2359
| | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub)
* server: simple servant-lucid stuffstuebinm2022-02-108-12/+111
|
* server: simple toml configstuebinm2022-02-075-17/+49
|
* server: proper job handlingstuebinm2022-02-075-67/+114
| | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
* non-blocking serverstuebinm2022-02-076-94/+134
|
* basic server setup (using servant)stuebinm2022-02-017-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 modulesstuebinm2022-01-1514-156/+228
| | | | as annoying as yaml is, cabal's package format is somehow worse, apparently
* playing around with typesstuebinm2022-01-024-1/+40
|
* use url package for parsing of urlsjonny2022-01-023-13/+32
|
* fixed url injection by means of starting an url with "." and turning the ↵jonathan2022-01-021-1/+1
| | | | prefix into a subdomain
* script links can't contain @stuebinm2022-01-021-1/+3
|
* open BBBs in new Tab so that they work now :/ tabascoeye2022-01-021-2/+2
| | | PLEASE review! I have no idea of haskell
* wa gets an extra ausgangstuebinm2022-01-021-1/+1
| | | | | (please only deploy once https://git.cccv.de/hub/hub/-/merge_requests/492 is also deployed)
* SECURITY: Fix path traversal in script verificationSerge Bazanski2022-01-021-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.