std.manifestIni should support repeated keys

[anguslees]

See for example, systemd ini files where things like this are common:

[Service]
Environment=FOO=bar
Environment=BAZ=xyzzy

Perhaps this could be implemented by expanding a jsonnet key=array into repeated keys, rather than the current blunt "key=std.toString(value)" behaviour.

[sparkprime]

Is this a standard feature of INI files? The wiki page doesn't mention it. https://en.wikipedia.org/wiki/INI_file

To be clear, you propose:

std.manifestIni({
    main: { a: ["1", "2"] },
    sections: {
        s2: {p: ["yes", ""]},
    }
})

to be:

a = 1
a = 2
[s2]
p = yes
p = 

[sparkprime]

I misspoke:

Duplicate names
Most implementations only support having one property with a given name in a section. The second occurrence of a property name may cause an abort, it may be ignored (and the value discarded), or it may override the first occurrence (with the first value discarded). Some programs use duplicate property names to implement multi-valued properties.

Interpretation of multiple section declarations with the same name also varies. In some implementations, duplicate sections simply merge their properties together, as if they occurred contiguously. Others may abort, or ignore some aspect of the INI file.

OK this seems fine then.