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

Mate 1.2 su Debian Wheezy/SId

 

 

 

Dopo aver provato Cinnamon come alternativa a Gnome-shell, mi mancava solamente da provare Mate, quindi mi sono deciso a provarlo, senza però tanti sbattimenti, quindi usando i repo LinuxMint. Io di solito non mischio mai i repo, ma dato che sono su una Sid da guerra, allora ho ceduto πŸ™‚ Che dire…se non che riaffiorano dei bellissimi ricordi….sono quasi commosso πŸ™

 

# nano /etc/apt/sources.list

 

inserire i repo:

 

deb https://packages.linuxmint.com debian main import backport upstream romeo

 

poi:

 

# apt-get update && apt-get install mate-desktop-environment

# apt-get install -f

 

e nel caso servisse, come nel mio caso su Debian Sid:

 

# dpkg -i --force-overwrite /var/cache/apt/archives/mate-desktop-gnome_1.2.0-0_amd64.deb

# apt-get install -f

 

riavviare la sessione e scegliere Mate.

 

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

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

Rimuovere icone dal pannello di Gnome 3/Debian Sid

 

Continuando nella configurazione della mia Debian Sid con Gnome 3, sto cercando di rimuovere o modificare quà e là, le cose che non mi piacciono. Un esempio è l'icona Accessibilità che si trova sul pannello. Per rimuoverla:

 

$ sudo gedit /usr/share/gnome-shell/js/ui/panel.js

 

andare alla stringa:

 

const STANDARD_TRAY_ICON_ORDER = ['ally', 'display', 'keyboard', 'volume', 'bluetooth', 'network', 'battery'];
const STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION = {
    'a11y': imports.ui.status.accessibility.ATIndicator,
    'volume': imports.ui.status.volume.Indicator,
    'battery': imports.ui.status.power.Indicator,
    'keyboard': imports.ui.status.keyboard.XKBIndicator
};

 

e rimuovere l'icona indesiderata, nel mio caso 'ally'.

 

enjoy πŸ˜‰