Eelco Dolstra
|
408b8b5725
|
Add lots of missing option types
|
2013-10-30 18:47:43 +01:00 |
|
Eelco Dolstra
|
d882e19662
|
Shut up "failed to resume" warning if there is no resume device
|
2013-10-30 18:47:43 +01:00 |
|
Eelco Dolstra
|
be5d3a59dd
|
Clean up some option examples
|
2013-10-30 18:47:43 +01:00 |
|
Eelco Dolstra
|
70a2c54527
|
Strictly check the arguments to mkOption
And fix various instances of bad arguments.
|
2013-10-30 15:35:09 +01:00 |
|
Eelco Dolstra
|
4680af6a93
|
Add some option types
|
2013-10-30 14:57:42 +01:00 |
|
Eelco Dolstra
|
862e3dd977
|
Substitute "types.uniq types.string" -> "types.str"
|
2013-10-30 14:57:42 +01:00 |
|
Eelco Dolstra
|
9a8516438e
|
Fix NixOps evaluation
|
2013-10-28 22:45:57 +01:00 |
|
Eelco Dolstra
|
d5047faede
|
Remove uses of the "merge" option attribute
It's redundant because you can (and should) specify an option type, or
an apply function.
|
2013-10-28 22:45:56 +01:00 |
|
Eelco Dolstra
|
a40583e7e4
|
Fix bogus mkOption types
Among others, systemd unit options were not being type-checked because
of this. mkOption should really check its arguments better...
|
2013-10-28 22:45:56 +01:00 |
|
Eelco Dolstra
|
1408ac51a4
|
Add missing types
|
2013-10-28 22:45:56 +01:00 |
|
Eelco Dolstra
|
4b1a9dd00b
|
Remove uses of mkFixStrictness
mkFixStrictness is no longer needed, woohoo!
|
2013-10-28 22:45:55 +01:00 |
|
Eelco Dolstra
|
c4149c7b56
|
Fix evaluation error in the ISOs
|
2013-10-24 02:03:10 +02:00 |
|
Eelco Dolstra
|
a3777ba4f9
|
Remove dependencies on the Nixpkgs location
|
2013-10-23 20:08:23 +02:00 |
|
Eelco Dolstra
|
8f4c5b05d5
|
Add a way to define obsolete options that have no replacement
|
2013-10-23 20:08:22 +02:00 |
|
Eelco Dolstra
|
b33657df03
|
grub: Make assertion lazier
|
2013-10-17 13:30:49 +02:00 |
|
Shea Levy
|
a63b4dc555
|
Remove old efi boot stub bootloader
Signed-off-by: Shea Levy <shea@shealevy.com>
|
2013-10-10 10:54:35 -04:00 |
|
Eelco Dolstra
|
5c1f8cbc70
|
Move all of NixOS to nixos/ in preparation of the repository merge
|
2013-10-10 13:28:20 +02:00 |
|