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!
1 commento
funziona su ubuntu 20.04