Estensioni Shell OSD + Extension List su Debian Sid e gnome-shell 3.4.1

 

 

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.

 

enjoy 😉

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

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 😉

Exstensions classic-systray e windowoverlay-icons Gnome 3.0 Debian Wheezy/Sid

 

 

 

 

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.

 

 

 

enjoy 😉

Gnome 3 Tips

 

 

 

 

Comandi da terminale utili da integrare con alcune estensioni, ed altri, che vengono utilizzati da Gnome Tweak Tool. Tutto viene controllato da gsettings:

 

 

edmond@Debianbox:/$ gsettings
Usage:
  gsettings COMMAND [ARGS…]

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'estensione Dock, che di default si piazza a destra:
 

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

 

Configurare l'estensione weather:

 

cambiare icona:

 

$ gsettings set org.gnome.shell.extensions.weather use-symbolic-icons true

 

mostrare solo l'icona, senza testo:

 

$ gsettings set org.gnome.shell.extensions.weather show-text-in-panel false

 

enjoy 😉

Extension autohidetopbar su Debian Sid Gnome 3.0

 

 

 

 

 

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.

 

enjoy 😉

Cambiare colore ad Alt Tab in Gnome 3

 

 

 

 

 

 

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.

 

$ sudo nano /usr/share/gnome-shell/theme/gnome-shell.css

 

Default:

 

}

.switcher-list {
    background: rgba(0,0,0,0.8);
    border: 1px solid rgba(128,128,128,0.40);
    border-radius: 24px;
    padding: 20px;

    font-size: 9pt;
    color: white;
}

 

Personalizzato:

 

}

.switcher-list {
    background: rgba(135,206,235,15453831);
    border: 18px solid rgba(30,30,30,1973790);
    border-radius: 44px;
    padding: 20px;

    font-size: 12pt;
    color: black;
}

 

enjoy 😉