| Commit message (Collapse) | Author | Files | Lines | ||
|---|---|---|---|---|---|
| 2023-10-24 | a year went byHEADmain | stuebinm | 1 | -753/+0 | |
| This does many meta-things, but changes no functionality: - get rid of stack, and use just cabal with a stackage snapshot instead (why did I ever think stack was a good idea?) - update the stackage snapshot to something halfway recent - thus making builds work on nixpkgs-23.05 (current stable) - separating out packages into their own cabal files - use the GHC2021 set of extensions as default - very slight code changes to make things build again - update readme accordingly - stylish-haskell run | |||||
| 2022-10-11 | remove mentions of divoc | stuebinm | 1 | -1/+1 | |
| 2022-10-11 | code formatter | stuebinm | 1 | -2/+3 | |
| 2022-10-11 | Revert "linter: link hackery for divoc fallback" | stuebinm | 1 | -3/+1 | |
| This reverts commit f116e6487f1041f12b9ea1e4e6a7aef18ff783bb. | |||||
| 2022-04-14 | linter: link hackery for divoc fallback | stuebinm | 1 | -1/+3 | |
| 2022-04-07 | linter: unless ain't the same as if | stuebinm | 1 | -1/+1 | |
| 2022-04-06 | linter: collect jitsi rooms of maps | stuebinm | 1 | -2/+5 | |
| 2022-04-04 | linter: collect content warnings | stuebinm | 1 | -2/+9 | |
| 2022-03-19 | linter: some work on lints | stuebinm | 1 | -34/+41 | |
| 2022-03-19 | unbreak a very, very long rebase | stuebinm | 1 | -5/+4 | |
| 2022-03-19 | remove leftover rc3 things & some new stuff | stuebinm | 1 | -40/+28 | |
| this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking! | |||||
| 2022-03-19 | linter: remove bbb-simulating code | stuebinm | 1 | -31/+3 | |
| 2022-03-19 | make tiled stricter (and organise some imports) | stuebinm | 1 | -31/+31 | |
| 2022-03-19 | separate tiled modules out into own package | stuebinm | 1 | -6/+5 | |
| 2022-03-19 | switch to universum prelude | stuebinm | 1 | -39/+36 | |
| also don't keep adjusted maps around if not necessary | |||||
| 2022-03-19 | use hpack and clean up modules | stuebinm | 1 | -3/+4 | |
| as annoying as yaml is, cabal's package format is somehow worse, apparently | |||||
| 2022-03-19 | use url package for parsing of urls | jonny | 1 | -3/+9 | |
| 2022-03-19 | fixed url injection by means of starting an url with "." and turning the ↵ | jonathan | 1 | -1/+8 | |
| prefix into a subdomain | |||||
| 2021-12-29 | apparently people are using inter-assembly links internally?? | stuebinm | 1 | -2/+15 | |
| lol | |||||
| 2021-12-29 | collides isn't unknown on tiles | stuebinm | 1 | -1/+2 | |
| 2021-12-29 | maps, maps, and yet more maps | stuebinm | 1 | -6/+6 | |
| don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later) | |||||
| 2021-12-29 | why aren't boolean values typechecked??? | stuebinm | 1 | -1/+1 | |
| 2021-12-29 | tiles can also have properties like tile layers | stuebinm | 1 | -47/+54 | |
| 2021-12-28 | disallow more things in urls | stuebinm | 1 | -8/+1 | |
| 2021-12-28 | script links can't contain @ | stuebinm | 1 | -1/+3 | |
| 2021-12-28 | open BBBs in new Tab so that they work now :/ | tabascoeye | 1 | -2/+2 | |
| PLEASE review! I have no idea of haskell | |||||
| 2021-12-27 | SECURITY: Fix path traversal in script verification | Serge Bazanski | 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. | |||||
| 2021-12-27 | fix bbb urls a second time … | stuebinm | 1 | -5/+1 | |
| 2021-12-27 | fix bbb url resolution | stuebinm | 1 | -1/+1 | |
| 2021-12-27 | type systems don't protect against off-by-one | stuebinm | 1 | -1/+1 | |
| 2021-12-26 | openWebsiteTriggerMessage can also be used for openTab | stuebinm | 1 | -2/+8 | |
| 2021-12-26 | Allow to copy sounds for custom JS with ObjectProperty `loadSound` | Sven G. Brönstrup | 1 | -1/+1 | |
| 2021-12-26 | separate blocking for separate contexts | stuebinm | 1 | -3/+5 | |
| (audio links now have their own allowlist, which won't put things through the dereferrer) | |||||
| 2021-12-26 | change lint msg for property suggestions | stuebinm | 1 | -1/+1 | |
| 2021-12-25 | add lint if people set tilesetCopyright on tiles | stuebinm | 1 | -0/+2 | |
| 2021-12-25 | apply some hlint hints | stuebinm | 1 | -3/+3 | |
| 2021-12-25 | the lobby is allowed to contain defunct links | stuebinm | 1 | -12/+15 | |
| 2021-12-25 | hint if people set collides on tilesets | stuebinm | 1 | -1/+2 | |
| 2021-12-25 | better lint message | stuebinm | 1 | -1/+1 | |
| 2021-12-24 | persist, default aren't always booleans | stuebinm | 1 | -1/+0 | |
| 2021-12-24 | smaller changes | stuebinm | 1 | -1/+1 | |
| 2021-12-24 | allow openWebsiteAllowApi if website is on static.rc3.world | stuebinm | 1 | -2/+12 | |
| 2021-12-24 | allow shared (not just shared-) as prefix for shared jitsis | stuebinm | 1 | -1/+1 | |
| this might make things less confusing for some people | |||||
| 2021-12-23 | extra lint for people confused by badges | stuebinm | 1 | -3/+4 | |
| tbh I'm confused by them as well | |||||
| 2021-12-23 | some people define tilesets without images??? | stuebinm | 1 | -1/+3 | |
| 2021-12-23 | openTab's semantics are the same as openWebsite's | stuebinm | 1 | -9/+6 | |
| (it's not a modifier for openWebsite, as I had previously though) | |||||
| 2021-12-23 | add suggestions for misspelled properties | stuebinm | 1 | -37/+77 | |
| (suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results) | |||||
| 2021-12-23 | disallow properties with different capitalisations | stuebinm | 1 | -10/+7 | |
| since apparently sometimes workadventure is case-insensitive, and sometimes it's not | |||||
| 2021-12-22 | Fixed types of extended scripts properties | Sven G. Brönstrup | 1 | -3/+8 | |
| 2021-12-22 | shorten Properties.hs | stuebinm | 1 | -152/+76 | |
| down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly) | |||||
 |
index : walint | |
| A linter for workadventure maps |
| summaryrefslogtreecommitdiff |