Tag: Gnome 3.2

(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 😉

Disattivare "hot-corner" in Gnome 3.2 Debian Sid

 

Io l'ho disattivato perchè lo trovo scomodo, preferisco essere io premendo su "Attività" , ad ottenere la stessa cosa.

 

$ sudo gedit /usr/share/gnome-shell/js/ui/layout.js

 

e cambiare da "true" a "false", come sotto:

 

da così:


this._corner = new Clutter.Rectangle({ name: 'hot-corner',
                                               width: 1,
                                               height: 1,
                                               opacity: 0,
                                               reactive: true });

 

a così:

 

this._corner = new Clutter.Rectangle({ name: 'hot-corner',
                                               width: 1,
                                               height: 1,
                                               opacity: 0,
                                               reactive: false });

 

 

enjoy 😉

Deb per extensions weather e system-monitor per Gnome 3.2 Debian Sid

 

 

 

 

 

 

 

 

Queste estensioni sul sito ufficiale non ci sono, il system-monitor che è sul sito è diverso, ed io preferisco questo, anche se mi funziona all' 80%. A chi interessano si possono trovare in quella specie di mio repository, chiaramente nella cartella gnome-shell-extensions-3.2 🙂

 

enjoy 😉

Video HD Gnome 3.2 Debian Sid

 

 

 

 

Video su Debian Sid con Gnome 3.2, ed un bel po di estensioni, installabili dal sito ufficiale https://extensions.gnome.org/. In ogni caso ricordo che nei repo esiste anche il pacchetto gnome-shell-extensions, con l'estensioni principali, anche se al momento consiglio di installarli dal sito.

 

enjoy 😉

Gnome 3.2 su Debian Sid No problem

 

 

 

 

Solo qualche ora fa dicevo che eravamo quasi vicini all'arrivo di Gnome 3.2 su Debian Sid, ma non ho resistito ed ho installato i pacchetti essenziali che ancora mancavano in Sid, da experimental. Tutto è andato bene e la mia box è funzionante…..anzi ho avuto delle piacevoli sorprese. Ma andiamo per ordine, iniziando ad installare i pezzi mancanti:

 

$ sudo apt-get-update && sudo apt-get upgrade

$ sudo echo 'deb https://ftp.it.debian.org/debian experimental main' >> /etc/apt/sources.list

$ sudo apt-get update

$ sudo apt-get install -t experimental gnome-shell gnome-settings-daemon gnome-control-center  gnome-shell-extensions gnome-shell-common gnome-tweak-tool

Alt+F2 e poi r per riavviare la shell

 

La prima cosa che si nota è gnome-tweak-tool 3.2.2-1 migliorato, e con alcune funzionalità in piu, per non parlare poi del fatto che abbiamo l'estensioni principali pronte per essere attivate, poichè il pacchetto gnome-shell-extensions è presente nei repo, ed installa l'estensioni principali. Dico subito che la metà ancora non funzionano, ma a questo si può ovviare, ma la cosa interessante è che ho notato che quando installi l'estensione, non ti chiede più di riavviare la shell, ma funzionano a freddo. Se una estensione non funziona ed il sistema va in crash, ti appare subito la scritta che una estensione è andata in crash, e ti da la possibilità di disinstallarla subito, e quindi sei di nuovo in gnome-shell. Un'altra novità è la scomparsa della voce Gnome di ripiego, con un bel Gnome classic. Adesso la chicca che in molti aspettavano 🙂 ho già detto che metà dell'estensioni ancora non funzionano, ma ce nè una spettacolare, ed è la Dock a scomparsa, proprio come l'estensione autohidetopbar, ma molto meglio dato che ti fa intravedere una maniglietta. I possessori di netbook, e non solo, ne saranno felici.

 

Update:

Ho esagerato dicendo che la metà delle estensioni non funzionano, al momento va in crash Alternative Status Menu, poi  SystemMonitor, Gajim , ed  Estensione Application Menu non funzionano.

 

Update 2

Consiglio prima di installare il pacchetto dai repo per le gnome-shell-extensions, di provare ad installarle direttamente dal sito https://extensions.gnome.org/. Non bisogna fare altro che scegliere l'estensione e premere il pulsante a sinistra da OFF ad ON.

enjoy 😉