diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2017-08-27 23:19:19 -0400 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-08-29 14:53:22 -0400 |
| commit | 33c337e484d39ae86b0f2752336334a2d84c8c2d (patch) | |
| tree | cf4e18e56053916ba0efddcad4a6a0e3c78d7995 /projects/grub/configs | |
| parent | 934508416c93bb23942b75c4555b4b2a91235aed (diff) | |
| download | librebootfr-33c337e484d39ae86b0f2752336334a2d84c8c2d.tar.gz librebootfr-33c337e484d39ae86b0f2752336334a2d84c8c2d.zip | |
Alter GRUB image name in its default 'install' file
The produced GRUB image now has a more generalized name for
applicability to disparate platform builds (e.g. EFI vs. bootable
floppy image).
Diffstat (limited to 'projects/grub/configs')
| -rw-r--r-- | projects/grub/configs/install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/grub/configs/install b/projects/grub/configs/install index dead10fa..b167d022 100644 --- a/projects/grub/configs/install +++ b/projects/grub/configs/install @@ -1 +1 @@ -grub.elf:grub.elf +grub2:grub2 |