Para el menú de Gnome contamos con variadas alternativas, sin embargo la más popular o más llamativa de ellas (y completa) es Gnomenu. Nos permite personalizar bastante bien su interfaz al grado de tener un original lanzador de programas y aplicaciones o hacerlo lo más parecido a un entorno propio de KDE o Windows. Sin embargo para aquellos que hemos sustituido casi completamente el panel gnome por un dock les alegrará el saber que ahora contamos con GnoMenu 2.9 como applet ya sea para AWN, Cairo Dock o Docky. La forma de instalación tras el salto.
En nuestra terminal escribimos:
sudo add-apt-repository ppa:gnomenu-team/ppa
sudo update
sudo apt-get install gnomenu