10 commits

Author	SHA1	Message	Date
Eelco Dolstra	89bd18b3af	Fix manual generation	2013-10-28 22:45:56 +01:00
Eelco Dolstra	7cf0e0bda8	Manual: Fix bad \" characters	2013-10-28 22:45:56 +01:00
Eelco Dolstra	20150b1cee	Ensure that the manual job gets build with the right revision info	2013-10-24 19:58:34 +02:00
Eelco Dolstra	d49f141a79	Manual: When building from the channel, link to the exact Git revision	2013-10-24 02:03:10 +02:00
Eelco Dolstra	65277727e8	nix-gc: Revert to "script" instead of ExecStart ... There is an assumption that cfg.options can contain shell code, so ExecStart doesn't work here.	2013-10-21 11:22:27 +02:00
Eelco Dolstra	82ad8c5ce0	Make manual generation not depend on the user's configuration ... Previously changing the value of certain options in configuration.nix would cause the manual to be regenerated, because some option defaults depend on the configuration. This is undesirable because rebuilding the manual is kind of slow. So now the manual reflects an empty configuration. The downside is that this requires another call to fixMergeModules, which adds about 14% to evaluation time. Probably worth it.	2013-10-17 13:43:40 +02:00
Shea Levy	a5a13c4e43	Add gurobi token server service ... Not yet tested, I don't have a license yet Signed-off-by: Shea Levy <shea@shealevy.com>	2013-10-16 11:02:05 -04:00
Eelco Dolstra	e0db0aaa4d	Rename /etc/nix.machines to /etc/nix/machines ... Since we have a /etc/nix directory, we should use it and not pollute /etc.	2013-10-16 10:57:25 +02:00
Eelco Dolstra	16cd8b039b	Remove nix.manualNixMachines ... Suggested by Marc Weber. Fixes #1059. Generate /etc/nix.machines only if buildMachines is not empty. Thus, if you want to manage /etc/nix.machines in some other way, you can set nix.distributedBuilds to true but not set nix.buildMachines.	2013-10-16 10:53:23 +02:00
Eelco Dolstra	5c1f8cbc70	Move all of NixOS to nixos/ in preparation of the repository merge	2013-10-10 13:28:20 +02:00