what should we do here? I conclude that neither Olaf nor I are
particularly thrilled from your idea. On the other hand I can also see
how you have some valid points - despite of a very specific use case you
have.
Hence I guess its decision time. Any proposals?
Hmm, do you have anything specifically against breaking out those handful of
directives into debian.conf/platform.conf, that would outweigh the benefits of
making automated configuration management easier to handle?
Yes, it might make it more difficult to find specific directives if they're
spread across two files instead, but at least in this case the files will both
be small enough that it shouldn't really be a problem in practice.
Thanks,
Adam.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
