windows grub update-grub2 sudo gedit /etc/default/grub setup ubuntu-mate ubuntu-mate-core ubuntu-mate-desktop