BURG GRUB: un menú animado para el Grub2 de Ubuntu 12.04 el diciembre 16, 2012 Grub2 Ubuntu / Linux +