[Nix-dev] NixOS: Graphical User Interface

[Eelco Dolstra]

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/