I just re-installed Ubuntu 12.10 after having various issues, it was just time for a re-format and re-install.
Installation
The install went the smoothest that it has ever gone. Except that on my installed system I don't have the /etc/default/grub
file that I need to configure grub. In my curiosity I ran sudo update-grub
, and it ran seamlessly despite the file missing.
I will add that I am installing grub-efi
, and loading it via rEFInd
on boot.
Attempted Repairs
I've also re-downloaded Ubuntu, re-formatted and re-installed, verified files and md5 sums on the new installation media, and yet they're still gone. I've also tried the Ubuntu boot repair tool, which completed successfully but didn't actually restore the /etc/default/grub
file.
Question
How can I get the needed /etc/default/grub
configuration file?
Thanks for your help in advance.