‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Saturday, December 8, 2018 9:55 AM, Ralph Corderoy <ra...@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.
