aboutsummaryrefslogtreecommitdiff
path: root/lib/Config.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-05-21Config: fix OsPath valuesstuebinm1-2/+7
my annoyance with conferer increases. It should really, /really/ be a compile error if a thing used in the config does not have a FromConfig instance. Or at least the documentation should mention that in such cases it will simply always take the default value without telling anyone, instead of just saying "the generic instance has reasonable defaults" (well, /which/ defaults?)
2024-05-20use OsPath instead of FilePath in easy casesstuebinm1-6/+8
this is still far from being supported by most libraries, but does make it possible to remove some uses of String (though most times, there is a conversion back to String later). Note that using the default.nix now only works on nixpkgs-unstable for a bit; using the newer filepath package on stable leads to broken other packages.
2024-05-15config: add a debug mode optionstuebinm1-0/+2
this is meant to be false by default, and otherwise relaxes requirements on e.g. incoming pings, which are inconvenient when testing by hand.
2024-05-02restructure: get the tracker to work againstuebinm1-1/+19
This should hopefully be the final (major) part of the restructuring: a tracker no longer has to know which trip it is on (and indeed it has no idea for now), instead the server keeps state about which trips are currently running and will insert incoming pings in a hopefully reasonable manner, based on their geoposition & time. There's lots of associated TODO items here (especially there should be manual overrides for all this logic in the web ui), but that's work for a future me. (incidentally, this also adds support for sending all log messages out via ntfy-sh)
2024-04-17general housekeepingstuebinm1-2/+0
jumps to GHC2021 as default language, adds in some fields, moves the old org mode glossary to markdown, etc.
2023-02-23don't hardcode cssstuebinm1-0/+2
2023-01-22oauth2 via uffdstuebinm1-4/+28
this is unfortunately uffd-specific, since oauth2 is apparently sort of a vague standard. But since it doesn't actually do much it should probably be possible to make it fully configurable & generic if needed.
2022-08-28some config thingyesodstuebinm1-0/+28
works kinda well, but doesn't complain about unknown config values in json, which is kinda hmpf tbh