Dopo aver fatto pulizie di tutte le estensioni, poichè ne avevo di "vecchie e doppie", tanto da non capire quale mi davano problemi, mi sono rimesso a reinstallarle. L'estensione Dock a sinistra per me è obbligatoria, quindi come al solito sono andato a modificare GSettings, ma la Dock mi rimaneva sempre a destra. Leggendo attentamente, ho letto che nella versione di Gnome 3.2, adesso bisogna modificare a manina il file extension.js, mentre nelle versioni 3.3 e 3.4, tutto viene memorizzato in GSettings. Nel file extension.js ci sono 12 RIGHT, il primo va tenuto:

 

const PositionMode = {
    LEFT: 0,
    RIGHT: 1
};

 

gli altri 11 dovranno diventare LEFT.

 

Update 13/2:

adesso va con il comando solito….mah!!!!

 

$ gsettings set org.gnome.shell.extensions.dock position left

 

 

enjoy

Post simili (o quasi):

1. Aggiungere una Dock a Cinnamon su Debian e LMDE         Scaricare l'estensione, una volta scompattata, copiare...
2. Pacchetto deb per extension weather Gnome 3.0 Debian Sid         Aggiunto gnome-shell-extensions-weather per Gnome 3.0. Un...
3. Extension update-indicator su Debian Sid Gnome 3.0           Aggiunto gnome-shell-extension-updateindicator, un comodo applet...
4. Gnome 3 Tips         Comandi da terminale utili da integrare...
5. Gnome shell system monitor extension su Debian Sid   Gnome shell system monitor extension, è un applet che...

Tag:errori, Gnome 3.2, gnome-shell-extensions

Articolo scritto il domenica, febbraio 12th, 2012 alle 19:27 e archiviato in Debian, Errori, Gnome 3.2, Gnome-shell-extensions, Gnu-Linux, News, Tips & Tricks. Puoi tenere traccia di tutte le risposte a questo articolo abbonandoti al feed RSS 2.0. Puoi scrivere un commento, o fare trackback da un sito personale.