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 πŸ˜‰

Sito web Gnome-shell-extensions=delusione

 

 

Gnome ha aperto la pagina ufficiale per le estensioni, certo è un alfa, ma non nascondo di essere deluso. Delusione 1: mi aspettavo tutte le estensioni, a partire da Gnome 3.0, anche perchè non tutti si sono allineati, oppure è una congiura contro mamma Debian. Delusione 2: invece di una semplice raccolta di link, potevano iniziare a mettere qualche pacchetto deb, almeno per quelli funzionanti. Delusione 3, in questa pagina mi appare:

You do not appear to have an up to date version of GNOME3. You won't be able to install extensions from here. See the about page for more information

 

e ci credo….e meno male che sono su Sid πŸ™

 

Additional Plugins are required to display all the media on this page.

 

e figurati, ho pure la versione beta di flash e devo installare il plugin per OpenOffice….mah

 

 

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 πŸ˜‰