On 04/27/2011 01:17 PM, Nicolas Pierron wrote:
I did it that first, but dumping all options into an xml file take a lot of time and produce a huge XML file.
Are you referring to the same XML file used to generate the NixOS manual ("optionsXML" in doc/manual/default.nix)? I don't think it takes all that much time to generate, but I haven't timed it lately.
-- Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/ _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
