(Update) Extension Dock a sinistra su Debian Sid

 

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 (quasi):

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *