grub update issue

[VrRm]

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.

[razor-x]

Setting GRUB_TERMINAL=console allows a GRUB menu to display.

For post grub display issues, I fixed them by adding MODULES="i915" in mkinitcpio.conf on Arch Linux, but I'm not sure what this corresponds to on Ubuntu.

[ghost]

Just some more detailed steps for anyone else re: razor-x's comment: Go into /etc/default/grub and uncomment (by removing the hashtag in front of) line ~18 about GRUB_TERMINAL_OUTPUT=console. The GRUB_TERMINAL_INPUT line should already be un-commented. This will make it so no graphics rendering is needed to display the boot-up menu. You will need to run # grub-mkconfig -o /boot/grub/grub.cfg again to update the GRUB config file for the changes to take effect.