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)

(unfortunately this one's hardcoded, the config options just aren't
general enough)

as per yesterday's discussion about extended scripting variables

(and no one's documented that)

Anyways it now uses utf8 which seems a little more reasonable.

(points behave slightly differntly than I thought)

obviously, it should remove all objects defining badges, not those NOT
defining badges …

(and `url` is, too)

(since we're starting to get maps that actually pass linting, we also
get to find more bugs! yay!)

stuebinm authored 3 years ago and Rehlein committed 3 years ago

(following a discussion with hxchn)

might be useful to have

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.

(it didn't check if directories to save maps in actually existed)

these now have their own top-level config attribute which is essentially a
shorthand for setting one that's deeper nested.

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 ...)