Estensioni Shell OSD + Extension List su Debian Sid e gnome-shell 3.4.1

 

 

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 😉

Gnome-Shell 3.4.1 su Debian Sid/Experimental

 

Come si può vedere qua, gnome-shell 3.4.1 è arrivato finalmente nei repo experimental. Io l'ho installato e non ho notato nessun problema di sorta. Ho installato anche un po di estensioni, e sono tutte funzionanti. Voglio segnalare una estensione che ho appena scoperto, Panel-Docklet v13, molto utile per una customizzazione di gnome-shell, da la possibilità di creare una dock oppure il classico pannello con i programmi favoriti, tipo Gnome 2.x. Per il momento mi limito a provare gnome-shell 3.4, cercando di capirne i miglioramenti. Per installarlo:

 

# nano /etc/apt/sources.list

 

aggiungere i repo experimental:

 

deb https://ftp.debian.org/debian/ experimental main contrib non-free

 

e poi:

 

# apt-get update

# apt-get install -t experimental gnome-shell

 

 

enjoy 😉