Dopo aver installato gnome-shell 3.4.1 su Debian Sid, sul sito ufficiale dell'estensioni, ho trovato due estensioni interessanti e che non conoscevo. La prima è Shell OSD, che non fa altro che spostare l'area della notifica, dalla zona in basso centrale, a quella in alto a destra, che secondo me è la zona migliore. La seconda estensione invece è Extensions List, che praticamente ci permette in locale di aggiornare disinstallare l'estensioni installate, senza ricorrere a gnome-tweak-tool.
enjoy 😉
Davvero 2 extensions,a mio parere utilissime..
mi manca tanto, quella che premendo il tasto on/off del pc ,mi chiede cosa voglio fare tra “spegnimento,logoff,suspend,etc..”
sulla 3.2 era perfetta.
Qui nn aspetta nulla e si spegne..vabbè,prima o poi