Dal lancio del nuovo Gnome sono state introdotte grandi novità,un cambiamento radicale dell'esperienza utente che non è piaciuto tanto a gran parte degli utilizzatori del vecchio gnome 2.X.
Di default Gnome Shell non permette una grande personalizzazione e per questo sono nate delle xtensions per avere alcune personalizzazioni utili e piacevoli. Il problema si presenta ad ogni nuova versione,infatti le extensions risultano non supportate in quanto non hanno uno sviluppo parallelo con le release di Gnome. Oggi possiamo aggirare il problema andando a modificare i file .json contenuti nella cartella di ciascuna estensione. Basta recarci nella nostra home e visulizzare le cartelle nascoste (basta premere Crtl+h) e in questo percorso .local/share/gnome-shell/extensions/ troviamo le cartelle di tutte le extensions. Ora rechiamoci in una cartella di cui l'extension non è supportata ed apriamo con il nostro editor di testo il file metadata.json e sotto la riga
"shell-version"
scriviamo "3.8" come nell'immagine
salviamo il documento appena modificato e avremo l'estensione funzionante.
Nessun commento:
Posta un commento