‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On Saturday, December 8, 2018 9:55 AM, Ralph Corderoy <ralph@inputplus.co.uk> wrote:
Can a better solution to this be engineered?
For the kernel we run mkinitcpio. So there shouldn't be a real reason why we shouldn't run grub-mkconfig >/${main_grub_dir}/grub.cfg for grub. That being said, the path is /boot/grub.cfg for me, so I'm not sure how we'd get the installfile to figure out where to output its output. One key difference is that the output of mkinitcpio are binary files, whereas grub.cfg is a text file, and maybe operators would like to modify that file after it's generated? So one could make a case that the install file should in fact keep its hands off grub.cfg entirely. cheers! mar77i Sent with ProtonMail Secure Email.