nixpkgs/modules/system
2013-02-19 20:47:23 -05:00
..
activation Log the configuration when booting / switching 2013-02-18 15:39:47 +01:00
boot gummiboot-builder.py: Not rewriting entries probably doesn't save much time, and is problematic in the case where you delete the latest generation before your rebuild 2013-02-19 20:47:23 -05:00
etc Selectively allow /etc files to be disabled 2013-02-03 14:28:18 +01:00
upstart Rename ‘boot.systemd’ to ‘systemd’ 2013-01-16 12:33:18 +01:00