Merge branch 'staging-next' into staging

This commit is contained in:
Vladimír Čunát
2019-06-05 11:12:34 +02:00
234 changed files with 2709 additions and 1956 deletions
@@ -360,6 +360,7 @@ in
font = mkOption {
type = types.nullOr types.path;
default = "${realGrub}/share/grub/unicode.pf2";
defaultText = ''"''${pkgs.grub2}/share/grub/unicode.pf2"'';
description = ''
Path to a TrueType, OpenType, or pf2 font to be used by Grub.
'';
@@ -154,7 +154,7 @@ def remove_old_entries(gens):
except ValueError:
pass
for path in glob.iglob("@efiSysMountPoint@/efi/nixos/*"):
if not path in known_paths:
if not path in known_paths and not os.path.isdir(path):
os.unlink(path)
def get_profiles():