Você gostou do visual do Elementary OS, aquele mesmo que foi lançado semana passada, com um menu muito bem organizado e fácil de usar? E que usar uma menu semelhante no seu Gnome Shell?
Na verdade, este menu chama-se Dexi Applications Menu e é um extensão que pode ser instalada facilmente no seu Gnome Shell através do site oficial de extensões para Gnome.
Ele se parece muito mesmo com o menu do Elementary mas tem até mais recursos que o mesmo, como opções de favoritos e botões de energia.
Aproveite e até a próxima!