Hi,
I know this is a little late but I think it is better to make your recordfail modification in :
and after do aCode:/etc/grub.d/00_header
because the /boot/grub/grub.cfg will be crushed by future update-grub command you can do.Code:sudo update-grub
Sorry for my english
snkkid
Bookmarks