Re: GRUB_DEFAULT, saved

Re: GRUB_DEFAULT, saved

First 'sudo update grub' did not work for me. I had to 'sudo update-grub'. Second 'GRUB_DEFAULT=saved' did not work. Still booted to Ubuntu instead of Linux Mint after rebooting while using Linux Mint. Last operating system used did not get saved and reloaded as supposed to. Jason Keiter