Qui trovi una versione di gnomenu che funziona su gnome 3.36 e 3.38.

Gnomenu è un menu simile a quello di windows, usato per far partire le applicazioni presenti nel sistema. Si tratta di una estensione shell di gnome.

Ecco uno screenshot su ubuntu 20.20

Nella pagina ufficiale dell’estensione si possono trovare tutti i dettagli del caso.

Per installare la nuova versione bisogna prima rimuovere l’estensione gnomenu se già presente. Questo si può fare anche dal terminale scrivendo

gnome-extensions uninstall gnomenu@panacier.gmail.com

Successivamente bisogna installare la versione che propongo, scaricando il

ed installandolo con

gnome-extensions install gnomenu@panacier.gmail.com.zip

A questo punto si può ricaricare la shell di gnome scrivendo Alt+F2 e “r” + Invio nella casella di testo proposta.

Se tutto è andato bene otterrai il nuovo menu su gnome!

Naturalmente non è perfetto , in alcune installazioni ho notato che le icone delle cartelle sulla sinistra non compaiono… diciamo che il core del menu funziona

Fammi sapere cosa ne pensi!