diff options
author | Profpatsch <mail@profpatsch.de> | 2022-05-05T22·32+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2022-05-05T22·43+0000 |
commit | 0c51608f6c11fd8e15679d77e7a9ae8c3a51fe78 (patch) | |
tree | 530e7a1bac93acec64362da199575d269ac42d60 /users/wpcarro/scratch | |
parent | 9dac44846696ccdd9cd60359b8ee864f4a20b3f1 (diff) |
feat(users/Profpatsch): add toINI r/4012
This is a morph of the `pkgs.lib.generators.toINIWithGlobalSection` function, which is simplified, inlined, and takes lists instead of attrsets. This makes the key ordering stable and is easy to generate from dhall. Ideally I’d upstream it at one point (in the sense that `generators.toINI` can also take lists), but that will be a lot more work that is not necessary atm. Change-Id: I7d6c129cfee9faedb62f69d479e59a6e05bb7ac6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5529 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'users/wpcarro/scratch')
0 files changed, 0 insertions, 0 deletions