A lot of people ask me how to change the default operating system booted after installing Linux. The answer they get in Ubuntu’s case, “Edit /boot/grub/menu.lst, it’s self-explanatory”, is often unsatisfactory. Attached is the solution :)

Actual script lost in the mists of time…

Download the file, open a terminal, and run gksudo python grubmenu.py

I’ll try and make a package of this soon, so it becomes a menu entry and that much easier to use.