[mikellis]

Thank you so much for this brilliant description of how to edit the Grub 2 file. Other web sites suggested messing about with a linux config files and all sorts of horrors.! Your simple explanation worked perfectly first time. Thank you.