Debian Gnu-Linux Opensource
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 😉
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 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 😉
Per firmare le proprie immagini si può anche usare mogrify (imagemagick), il problema è, che a secondo della personalizzazione della firma, il comando può diventare lungo, quindi per ovviare a questo, si può creare un lanciatore, dopo di chè non bisogna fare altro che appoggiare sopra le immagini. Il comando usato è il seguente:
$ mogrify -font /usr/share/fonts/truetype/freefont/FreeSerif.ttf -pointsize 28 -verbose -draw "gravity SouthEast fill blue text 0,33 'edmond' fill white text 1,32 'edmond' " *.jpg
enjoy 😉
A volte succede di avere degli errori tipo questo:
edmond@Debianbox:~$ sudo dpkg -i gnome-shell-extension-wallpapers_3.0.2.1_all.deb
[sudo] password for edmond:
(Lettura del database… 204089 file e directory attualmente installati.)
Estrazione di gnome-shell-extension-wallpapers (da gnome-shell-extension-wallpapers_3.0.2.1_all.deb)…
dpkg: errore nell'elaborare gnome-shell-extension-wallpapers_3.0.2.1_all.deb (–install):
tentata sovrascrittura di "/postrm" presente anche nel pacchetto gnome-shell-extensions-dock 3.0.2-2
Si sono verificati degli errori nell'elaborazione:
gnome-shell-extension-wallpapers_3.0.2.1_all.deb
o questo se si usa synaptic:
E: /var/cache/apt/archives/gnome-shell-extension-wallpapers_3.0.2.1_all.deb: tentata sovrascrittura di "/postrm" presente anche nel pacchetto gnome-shell-extensions-dock 3.0.2-2
la soluzione consiste nel forzare l'installazione del pacchetto con l'opzione –force-overwrite. Quindi nel caso dell'errore sopra, si usa:
# dpkg -i --force-overwrite /var/cache/apt/archives/gnome-shell-extension-wallpapers_3.0.2.1_all.deb
e poi:
# apt-get install -f
enjoy 😉
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 😉
Aggiunti altri 2 pacchetti deb. Gnome-Shell-Frippery. che contiene all'interno un po di estensioni, come:
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 😉
Una delle cose che più mi manca di Gnome 2, è la possibilità di rendere i pannelli trasparenti o colorati. Su Gnome 3 infatti di default troviamo il pannello solido e nero. Questo problema almeno l'ho risolto 🙂
Gimp come root:
# gimp /usr/share/gnome-shell/theme/panel-border.svg
appare la finestra "Renderizza Grafica Vettoriale Scalabile (SVG)" premere OK, poi apparirà un rettangolino minuscolo da ingrandire per poter meglio gestire il colore, quindi andare in Colori>Colore ad alfa ed andare a mettere il colore nero, per poter avere la trasparenza, volendo si può mettere qualsiasi colore. Salvare tutto come panel-border.png, dato che Gimp non gestisce i file SVG. Poi modificare gnome-shell.css:
# nano /usr/share/gnome-shell/theme/gnome-shell.css
trovare la stringa:
#panel {
color: #ffffff;
background-color: black;
border-image: url("panel-border.png") 1;
font-size: 10.5pt;
height: 1.86em;
}
e sostituire panel-border.svg con panel-border.png. Ora si può riavviare gnome-shell e godersi il pannello trasparente 🙂
ps: mi ci sto abituando……ed anche abbastanza in fretta 🙂
enjoy 😉
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 😉
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 😉