Dopo aver installato gnome-shell 3.4.1 su Debian Sid, sul sito ufficiale dell'estensioni, ho trovato due...
gnome-shell-extensions
Dopo aver fatto pulizie di tutte le estensioni, poichè ne avevo di "vecchie e doppie", tanto...
Queste estensioni sul sito ufficiale non ci sono, il...
Video su Debian Sid con Gnome 3.2, ed un bel po di estensioni,...
Solo qualche ora fa dicevo che eravamo quasi vicini all'arrivo di Gnome 3.2...
Aggiunte due nuove estensioni, classic-systray e windowoverlay-icons. La prima permette di avere l'icone...
Comandi da terminale utili da integrare con alcune estensioni, ed altri, che vengono...
Aggiunto gnome-shell-extension-updateindicator, un comodo applet per vedere e pianificare gli aggiornamenti della...
Aggiunta anche l'estensione autohidetopbar, che serve a nascondere il pannello superiore quando...
Per modificare le opzioni di Alt Tab, bisogna mettere mano al...
Video della mia Debian Sid, che con l'aggiunta di alcune estensioni si sta...
Aggiunto gnome-shell-extensions-weather per Gnome 3.0. Un applet che mostra le condizioni meteo della...
Aggiunti altri 2 pacchetti deb. Gnome-Shell-Frippery. che contiene all'interno un po di estensioni,...
Aggiunti 2 pacchetti deb, per le gnome-shell-extensions, noa11y per togliere dal pannello l'icona...
