Um menu Unity como o HUD para o ambiente de desktop GNOME usando o menu rofi
Eu gostaria de saber quais são as possíveis maneiras de usar um HUD de unidade (Heads Up Display) no Ubuntu 18.04, de preferência com o shell do gnome como padrão.
por HUD refiro-me ao acesso e pesquisa de itens de menu (não aplicativos ou arquivos!) ao pressionar (e soltar) alt .
Existem extensões de gnome utilizáveis ou aplicativos de terceiros que funcionam em 18.04?
Já existem algumas discussões aqui . Mas isso é menos específico, já que estou procurando uma solução Ubuntu 18.04 (com o shell do Gnome).
algumas das soluções indicadas são:
plotinus parece promissor, mas funciona somente com aplicativos GTK +.
Menu de aplicação global do Gnome (HUD para Gnome) , comentários digamos que não funcione em 18.04, embora o último comentário (de 06.05.18) diga que a versão mais recente, se instalada manualmente a partir do github, funcione em 18.04. (Eu apreciaria uma instrução detalhada de como instalar uma extensão manualmente)
Um menu Unity como o HUD para o ambiente de desktop GNOME usando o menu rofi