Categoria: Gnome-shell-extensions

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 😉

(Video) Debian Sid Gnome 3 + extensions

 

 

 

 

Video della mia Debian Sid, che con l'aggiunta di alcune estensioni si sta avvicinando a quello che mi piacerebbe avere/fare di default, cose che con Gnome 2 erano la normalità.  Alcune estensioni per me sono fondamentali, altre solo sfizi.

 

enjoy 😉

Pacchetto deb per extension weather Gnome 3.0 Debian Sid

 

 

 

 

Aggiunto gnome-shell-extensions-weather per Gnome 3.0. Un applet che mostra le condizioni meteo della nostra zona. I pacchetti da installare sono 2, il secondo installa le lingue, quindi anche l'italiano, che ho inserito io, per accorgermi in un secondo momento che sul sito di riferimento c'era già chi aveva provveduto alla traduzione. Per trovare il numero Woeid della nostra zona andare su questa pagina. Per inserire la città usare:

 

$ gsettings set org.gnome.shell.extensions.weather woeid numero_woeid

 

per posizionare l'applet che di default sarà al centro, usare:

 

$ gsettings set org.gnome.shell.extensions.weather position-in-panel center
$ gsettings set org.gnome.shell.extensions.weather position-in-panel left
$ gsettings set org.gnome.shell.extensions.weather position-in-panel right

 

Verificare se questa estensione va in conflitto con altre abilitate, tipo monitor-applet, forse perchè di default si piazzano tutte e due al centro del pannello.

ps: confermo che per usare insieme monitor-applet e weather, bisogna prima installare weather e piazzarlo sulla destra, quindi successivamente installare monitor-applet.

 

enjoy 😉

Pacchetti deb extensions Frippery + Wallpapers per Gnome 3.0 Debian Sid

 

 

 

 

Aggiunti altri 2 pacchetti deb. Gnome-Shell-Frippery. che contiene all'interno un po di estensioni, come:

 

  1.  move the clock to the right of the panel
  2.  add launchers for favourite applications to the panel
  3.  replace the Activities button with an Applications menu
  4.  restore static workspaces
  5.  replace Suspend menu item with Shut Down
  6. add a bottom panel with window list and workspace switcher

 

Gnome-Shell-extension-Wallpapers, che aggiunge al desktop la sezione Wallpapers, utile non solo per cambiare sfondo facilmente, ma soprattutto nella ricerca di nuovi, collegandosi direttamente su deviantart.com, e salvandoli di conseguenza in /home/UTENTE/.local/share/wallpapers.

 

enjoy 😉

Pacchetti deb extensions noa11y + cpufreq per Gnome 3.0 Debian Sid

 

 

 

 

Aggiunti 2 pacchetti deb, per le gnome-shell-extensions, noa11y per togliere dal pannello l'icona di Accesso Universale, senza quindi seguire il metodo precedente, e cpufreq un applet per avere sotto controllo e gestire le cpu.

 

enjoy 😉

Deb per gnome-shell-extension-monitor-applet 3.0 su Debian Sid

 

 

 

 

Gnome-shell-extension-monitor-applet a differenza di Gnome shell system monitor, su Debian Sid funziona meglio. Quindi ho aggiunto il pacchetto deb nel repository.

 

enjoy 😉

Pacchetti Deb gnome-shell-extensions per Debian Sid Gnome 3.0

 

 

 

Ho fatto per me dei pacchetti deb per le gnome-shell-extensions, giusto per averli a portati di mano e non perdere tempo. Li ho inseriti in quella specie di repo che ho 🙂 e li metto a disposizione di "amici" e non 😉 Le estensioni sono:

 

gnome-shell-extensions-common da installare in ogni caso
gnome-shell-extensions-alternate
gnome-shell-extensions-alternative-status-menu
gnome-shell-extensions-dock
gnome-shell-extensions-drive-menu
gnome-shell-extensions-native-window-placement
gnome-shell-extensions-places-menu
gnome-shell-extensions-windowsnavigator

 

chiaramente trattandosi di estensioni per Debian Sid, mi riferisco a Gnome 3.0.X, al momento siamo un'attimino indietro per Gnome 3.2, ma pian piano recuperemo 🙂 Altre estensioni interessanti sono quelli di  GnomeShell-Frippery. Si attivano da gnome-tweak-tool>shell extensions, dopo riavviare gnome-shell, con Alt-F2 digitato r e poi Invio.

 

enjoy 😉