Qui trovi una versione di gnomenu che funziona su gnome 3.36, 3.38 e (novità) 40.

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

e su fedora 34

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

Istruzioni per gnome 3.36 e 3.38

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

Istruzioni per gnome 40

Su gnome40 l’estensione ha cambiato nome, dopo aver scaricato lo zip

lo si installa con

gnome-extensions install memenu@tiscali.it.zip

A questo punto (per entrambe le versioni) si può ricaricare la shell di gnome scrivendo Alt+F2 e “r” + Invio nella casella di testo proposta. In alternativa si può fare il reboot.

Se il menu non appare ancora può essere necessario abilitarlo manualmente con l’applicazione gnome-extensions-app

Otterrai dunque 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!