void-packages/srcpkgs/efibootmgr/patches/efibootmgr_default_to_grub2.patch
2017-02-18 04:44:30 +01:00

24 lines
1.3 KiB
Diff

--- src/efibootmgr.c 2016-09-27 23:00:36.000000000 +0200
+++ src/efibootmgr.c 2017-02-18 03:38:27.121886861 +0100
@@ -1199,8 +1199,8 @@
printf("\t --ip-port <local>,<remote> set local and remote IP ports\n");
printf("\t --ip-origin { {dhcp|static} | { static|stateless|stateful} }\n");
#endif
- printf("\t-l | --loader name (defaults to \\EFI\\redhat\\grub.efi)\n");
- printf("\t-L | --label label Boot manager display label (defaults to \"Linux\")\n");
+ printf("\t-l | --loader name (defaults to \\EFI\\void\\grubx64.efi)\n");
+ printf("\t-L | --label label Boot manager display label (defaults to \"Void Linux (GRUB2)\")\n");
printf("\t-m | --mirror-below-4G t|f mirror memory below 4GB\n");
printf("\t-M | --mirror-above-4G X percentage memory to mirror above 4GB\n");
printf("\t-n | --bootnext XXXX set BootNext to XXXX (hex)\n");
@@ -1229,8 +1229,8 @@
opts.active = -1; /* Don't set it */
opts.timeout = -1; /* Don't set it */
opts.edd10_devicenum = 0x80;
- opts.loader = "\\EFI\\redhat\\grub.efi";
- opts.label = (unsigned char *)"Linux";
+ opts.loader = "\\EFI\\void\\grubx64.efi";
+ opts.label = (unsigned char *)"Void Linux (GRUB2)";
opts.disk = "/dev/sda";
opts.part = 1;
}