When this repo was synced from dist-git to gitlab it was missing the 80-rhel directory. I thought I had copied it all over, but the ppc directories were missing. This was because rhpkg creates a .git/info/exclude file that ignores arch named directories, like 'ppc', so git wasn't adding it when told to and not showing it as missing when looking at the status. For future reference the command: git status --ignored --verbose will show all ignore files. And you can figure out what is making it get ignored with: git check-ignore -v PATH-TO-IGNORED-FILE Resolves: RHEL-24619
31 lines
837 B
INI
31 lines
837 B
INI
set default=0
|
|
set timeout=5
|
|
|
|
echo -e "\nWelcome to the @PRODUCT@ @VERSION@ installer!\n\n"
|
|
|
|
menuentry "Install @PRODUCT@ @VERSION@ (64-bit kernel)" --class fedora --class gnu-linux --class gnu --class os {
|
|
linux /ppc/ppc64/vmlinuz @ROOT@ ro
|
|
initrd /ppc/ppc64/initrd.img
|
|
}
|
|
|
|
menuentry "Test this media & install @PRODUCT@ @VERSION@ (64-bit kernel)" --class fedora --class gnu-linux --class gnu --class os {
|
|
linux /ppc/ppc64/vmlinuz @ROOT@ rd.live.check ro
|
|
initrd /ppc/ppc64/initrd.img
|
|
}
|
|
|
|
menuentry "Rescue a @PRODUCT@ system (64-bit kernel)" --class fedora --class gnu-linux --class gnu --class os {
|
|
linux /ppc/ppc64/vmlinuz @ROOT@ inst.rescue ro
|
|
initrd /ppc/ppc64/initrd.img
|
|
}
|
|
|
|
submenu 'Other options...' {
|
|
menuentry 'Reboot' {
|
|
reboot
|
|
}
|
|
|
|
menuentry 'Exit to Open Firmware' {
|
|
exit
|
|
}
|
|
}
|
|
|