Para gnome-shell Para instalar o appmenu no shell do gnome, adicione webupd8 ppa às fontes do software pressione alt + cntrl + t e digite
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome3-globalmenu
Links