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
