grub update issue #8
Description
Over all the patch works great! (well at least I've been using it successfully for about 2 minutes now.)
But the grub instructions for Ubuntu
sudo grub-set-default "Ubuntu, with Linux 3.19.0-11.11+samus-1-generic"
sudo update-grub
aren't working. (Ubuntu 15.04) Ordinarily that wouldn't be a big deal because you can just do press <shift> at boot time to get the grub menu to show and then select it manually. But with the pixel, the grub screen is garbled so you can see what you're supposed to press. In my incompetence, I ended up making the machine unbootable trying set the default value on my own. (not one of my proudest moments in computer hackerdom) Had to do the whole chromebook os recovery and then reinstall Ubuntu, which was a pain. (All the while hoping that I hadn't discovered a new way of bricking the pixel.)
What did work for me the second time around was to use grub customizer:
https://launchpad.net/grub-customizer
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Thanks for effort in getting this into git and keeping it up-to-date! Hopefully the patches make it into the mainline soon, so others will have an easier time using this unbelievably awesome platform for running Linux.