109 commits

Author	SHA1	Message	Date
Eelco Dolstra	373c14614b	Put the NixOS channel in an option	2013-10-24 15:09:00 +02:00
Shea Levy	418fa3bb33	D'oh ... Signed-off-by: Shea Levy <shea@shealevy.com>	2013-10-16 16:01:27 -04:00
Shea Levy	6171f13ed5	Add gurobi to the system packages if the configuration specifies a license ... Signed-off-by: Shea Levy <shea@shealevy.com>	2013-10-16 11:26:39 -04:00
Shea Levy	715bee3a0a	Add gurobi client module ... Not yet tested, no license yet Signed-off-by: Shea Levy <shea@shealevy.com>	2013-10-16 11:23:58 -04:00
Eelco Dolstra	a2c820c678	Turn security.pam.services into an attribute set ... That is, you can say security.pam.services.sshd = { options... }; instead of security.pam.services = [ { name = "sshd"; options... } ]; making it easier to override PAM settings from other modules.	2013-10-15 14:47:51 +02:00
Eelco Dolstra	57ec8424e4	Drop <services> from $NIX_PATH	2013-10-13 17:35:55 +02:00
Domen Kožar	cf3e36a3b9	bash: place interactiveShellInit at the end to be able to override existing settings	2013-10-11 11:55:58 +02:00
Eelco Dolstra	31203732b3	Update the release expressions and the channel generators	2013-10-10 13:28:22 +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