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 😉
