Il giorno gio 28 apr 2016 alle 10:51, Pier Francesco Orsi
<pfo...@gmail.com> ha scritto:
Ho fatto un po' di ricerche in rete ed ho scoperto che l'opzione
trasparenza e' stata rimossa a partire da Gnome 3.7 o 3.8
sì, c'è una spiegazione qui:
https://bugzilla.gnome.org/show_bug.cgi?id=698544#c45
Magari hanno creato un pacchetto a parte, tipo
gnome-terminal-transparency?
Io non ho trovato nulla.
Qui mi sembra che spieghi bene la situazione:
http://superuser.com/questions/896516/gnome-3-how-to-get-a-terminal-with-transparent-background