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.
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
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 🙂
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.
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:
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.
Aggiunte due nuove estensioni, classic-systray e windowoverlay-icons. La prima permette di avere l'icone delle notifiche sulla top bar in alto a destra, proprio come con Gnome 2. La seconda invece, mostra un icona per ogni finestra aperta, nel riepilogo delle Applicazioni.
Comandi da terminale utili da integrare con alcune estensioni, ed altri, che vengono utilizzati da Gnome Tweak Tool. Tutto viene controllato da gsettings:
Commands:
help Show this information
list-schemas List installed schemas
list-relocatable-schemas List relocatable schemas
list-keys List keys in a schema
list-children List children of a schema
list-recursively List keys and values, recursively
range Queries the range of a key
get Get the value of a key
set Set the value of a key
reset Reset the value of a key
writable Check if a key is writable
monitor Watch for changes
Use 'gsettings help COMMAND' to get detailed help.
mostrare icone sul desktop ed abilitare tasto dx:
$ gsettings set org.gnome.desktop.background draw-background true
$ gsettings set org.gnome.desktop.background show-desktop-icons true
mostrare data accanto l'orario:
$ gsettings set org.gnome.shell.clock show-date true
mostrare secondi:
$ gsettings set org.gnome.shell.clock show-seconds true
cambiare sfondo desktop:
$ gsettings set org.gnome.desktop.background picture-uri 'file:///percorso_immagine'
Configurare l'estensioneDock, che di default si piazza a destra:
$ gsettings set org.gnome.shell.extensions.dock position left
Aggiunta anche l'estensione autohidetopbar, che serve a nascondere il pannello superiore quando non utilizzato. Per attivarlo/disattivarlo bisogna fare 2 click sulla barra. Sicuramente non funzionerà senza la modifica al file estension.js, portando da 1500 a 2000 il valore di const TIME_DELTA.
Per modificare le opzioni di Alt Tab, bisogna mettere mano al solito file gnome-shell.css, alla voce switcher-list. Io l'ho modificato come in figura 3, cambiando sia il colore dello sfondo che quello del font, ed in più aumentandolo per una migliore lettura. Per conosciere il valore rgba dei colori, fare riferimento a questo sito.
Per fornire le migliori esperienze, utilizziamo tecnologie come i cookie per memorizzare e/o accedere alle informazioni del dispositivo. Il consenso a queste tecnologie ci permetterà di elaborare dati come il comportamento di navigazione o ID unici su questo sito. Non acconsentire o ritirare il consenso può influire negativamente su alcune caratteristiche e funzioni.
Funzionale
Sempre attivo
L'archiviazione tecnica o l'accesso sono strettamente necessari al fine legittimo di consentire l'uso di un servizio specifico esplicitamente richiesto dall'abbonato o dall'utente, o al solo scopo di effettuare la trasmissione di una comunicazione su una rete di comunicazione elettronica.
Preferenze
L'archiviazione tecnica o l'accesso sono necessari per lo scopo legittimo di memorizzare le preferenze che non sono richieste dall'abbonato o dall'utente.
Statistiche
L'archiviazione tecnica o l'accesso che viene utilizzato esclusivamente per scopi statistici.L'archiviazione tecnica o l'accesso che viene utilizzato esclusivamente per scopi statistici anonimi. Senza un mandato di comparizione, una conformità volontaria da parte del vostro Fornitore di Servizi Internet, o ulteriori registrazioni da parte di terzi, le informazioni memorizzate o recuperate per questo scopo da sole non possono di solito essere utilizzate per l'identificazione.
Marketing
L'archiviazione tecnica o l'accesso sono necessari per creare profili di utenti per inviare pubblicità, o per tracciare l'utente su un sito web o su diversi siti web per scopi di marketing simili.
