diff options
author | stuebinm | 2021-11-14 02:27:36 +0100 |
---|---|---|
committer | stuebinm | 2021-11-14 02:27:36 +0100 |
commit | 34e66b3ab80fb201f49998ab46bb7a35370012c0 (patch) | |
tree | 01a790f048eb0f3ed1197c6ba0edc9e665b94fa7 /build.nix | |
parent | 0b29a7e82a8c2dcf9ce4f2fba3ec07896fa72397 (diff) |
too much type level stuff to read a config file
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.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions