mako uses non-standard INI format where the order of sections matters - restructure settings?

[zane-weissman]

The notification daemon mako uses INI-style sections to represent criteria that incoming notifications are matched against when setting per-notification options. Criteria are checked in the order that they appear in the file, so the order of sections matters. Of course, attributes in attrsets do not have a properly defined order, so the order of sections generated by a single call of lib.generators.toINI cannot be declared before evaluation.

I've hacked together a quick solution using lists (which retain element order during evaluation) that works fine for my own purposes:

xdg.configFile."mako/config".text =
let
  globals = {
    ...
  };
  criteria = [
    {criterion1 = { ... };}
    {criterion2 = { ... };}
    ...
  ];
in
(lib.generators.toINIWithGlobalSection { } {
  globalSection = globals;
})
+ (lib.concatMapStringsSep "\n" (lib.generators.toINI { }) criteria);

I'm wondering if there's any interest in adding a services.mako.criteria option (and, I assume, deprecating and replacing services.mako.settings). I don't know if/how this is handled in similar cases, but I would be happy to put together a PR if it would be a useful addition.