On Tue, 29 Jan 2013, Kevin Smith wrote: > You should edit the custom file in /err/grub.d as your additions are the > preserved. > The 'trick' there is to remember that when you do grubmkconfig you have to explicitly set the output file - running it without the -o does not change the menu. Lee