15 commits

Author	SHA1	Message	Date
Eelco Dolstra	d9c13a73c2	gurobi: Remove ... It's proprietary, non-redistributable software.	2013-11-05 00:07:24 +01:00
Peter Simons	87c3907c14	Merge pull request #1168 from grwlf/nixos-gnu-screen ... Add GNU Screen program module	2013-11-04 08:06:59 -08:00
Sergey Mironov	8c1e14e6cc	Add GNU Screen program module	2013-11-04 19:07:51 +04:00
Eelco Dolstra	eab39f9dda	venus.nix: Fix broken startAt option	2013-11-02 20:43:06 +01:00
Eelco Dolstra	408b8b5725	Add lots of missing option types	2013-10-30 18:47:43 +01:00
Eelco Dolstra	72ca782044	Fix an assertion set in the wrong place	2013-10-25 15:47:30 +02:00
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