3rd January 2017, 3:07
(3rd January 2017, 2:43)AJSlye Wrote: You need to edit the /etc/default/grub file and then run update-grub
The /etc/default/grub.ufc-dist file is used by ufc for preserving user changes to the config file.
https://packages.debian.org/stretch/ucf
Thanks for response and informative link.
I did try to edit the /etc/default/grub file before but because of "missing entries" decided to edit the The /etc/default/grub.ufc-dist file.
My /etc/default/grub file looks like this:
GRUB_THEME=/boot/grub/themes/maui/theme.txt
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash resume=UUID=40fcaab4-82a8-4915-99e8-7d6f2e322d73"
GRUB_DISTRIBUTOR="Maui"
Could you please advise on how to edit this file to suit my requirement, thanks.