Merge branch '190.clean-boot-partitions' into 'develop'

Configure NixOS to keep fewer old kernels around

See merge request !567

morph/lib/issuer-aws.nix

@@ -19,6 +19,10 @@
   # See https://unix.stackexchange.com/a/554500/81275
   boot.kernelModules = [ "loop" ];
 
+  # NixOS likes to fill up boot partitions with (by default) 100 old kernels.
+  # Keep a (for us) more reasonable number around.
+  boot.loader.grub.configurationLimit = 8;
+
   # Break the tie between AWS and morph for the hostname by forcing the
   # morph-supplied name.  See also
   # <https://github.com/DBCDK/morph/issues/146>.

nixos/modules/100tb.nix

@@ -105,6 +105,9 @@ in {
   { boot.loader.grub.enable = true;
     boot.loader.grub.device = if cfg.grubDeviceID == "nodev"  then "nodev" else "/dev/disk/by-id/${cfg.grubDeviceID}";
     boot.loader.timeout = 10;
+    # NixOS likes to fill up boot partitions with (by default) 100 old kernels.
+    # Keep a (for us) more reasonable number around.
+    boot.loader.grub.configurationLimit = 8;
     networking.firewall.enable = false;
 
     networking.hostId = cfg.hostId;