Trying to understand GRUB and following advice on this forum I have copied an existing GRUB boot entry to the 40_custom file in /etc/grub.d folder.
Now, apologies for using the Ubuntu details but what is puzzling me is–
If I drop into the >grub menu all I need to enter is the following;
linux /boot/vmlinuz-4.15.0-64-generic root=UUID=bc1e9e10-5179-4ab0-8d90-afb9ac502ad0
And the system loads correctly so question is, what is the following for that forms part of the loading system?
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
I’m guessing the if and else statements are in case of an error but the others are a mystery.