Loïc Reynier afe96e7433 pubs: add module ... Note, the pubs configuration file uses ConfigObj syntax, which is similar to the INI files syntax but with extra functionalities like nested sections. This prevents it from using Nix's INI format generator. Here is an example of pubs configuration that cannot be generated using Nix's INI format generator: [plugins] [[git]] manual=False For this reason, we opted for a stringly-typed configuration since the use of a structured `settings` option would require a custom parser.		2022-03-06 10:40:28 +01:00
..
default.nix	pubs: add module	2022-03-06 10:40:28 +01:00
pubs-example-settings-expected-pubsrc	pubs: add module	2022-03-06 10:40:28 +01:00
pubs-example-settings.nix	pubs: add module	2022-03-06 10:40:28 +01:00