Qualcuno può aiutare a ottenere la trasparenza dinamica per il dock e la barra superiore, per favore? Ho trovato alcune estensioni di gnome ma solo per la barra in alto e voglio che funzioni per entrambi (dock e barra in alto). In Ubuntu 18.10 + Gnome 3.30 funzionava già abbastanza bene. Perché questa bella funzionalità è stata rimossa?
Risposta accettata:
Modifica 17-05-2019 :a partire da Ubuntu 19.04, la funzione di trasparenza dinamica di Dash To Dock non sembra funzionare. È possibile impostare un'opacità personalizzata, solo fissa. fine modifica
Poiché la funzione è stata rimossa, dovrai regolare la trasparenza separatamente per il dock e per la barra superiore e giocare con le impostazioni di ciascuno degli elementi per farli corrispondere
Bacino Il modo più semplice è installare l'estensione Gnome Shell Dash to Dock. Ubuntu Dock è basato su Dash to Dock e utilizza le stesse impostazioni. Tuttavia, Dash to Dockexposes plenty of configuration options that allow you, among others, to set dynamic transparency. You can easily install Dash to Dock with the terminal command sudo apt install gnome-shell-extension-dashtodock`.
Per abilitare l'estensione e accedere alle impostazioni di configurazione, assicurati di avere installato Gnome Tweaks (o solo "Tweaks"). Nella scheda estensioni di Tweak, puoi abilitare o disabilitare le estensioni installate. Fai clic sull'ingranaggio accanto a un'estensione da personalizzare.
Nelle opzioni Dash to Dock, troverai l'opzione per personalizzare la trasparenza (o l'opacità) nella scheda "Aspetto". Accanto a "Opacità personalizzata", puoi attivare l'opacità dinamica.
Infine, assicurati di disabilitare Dash to Dock o Ubuntu Dock. Altrimenti, eseguirai due dock.
Barra superiore
Poiché è una funzionalità rimossa dalla Gnome Shell di serie, è possibile ripristinare la funzionalità con un'estensione Gnome. L'estensione Gnome Shell completamente aggiornata Dynamic Panel Transparency soddisferà le tue esigenze.
Poiché l'estensione non è inclusa nell'origine software predefinita, è necessario installarla dal sito Web. Questo non è possibile in un'installazione predefinita di Ubuntu. Poiché non ho individuato un altro post di Askubuntu che potrebbe descrivere come abilitare l'installazione di estensioni dal sito Web delle estensioni di Gnome, lo menziono brevemente qui:
- Installa il connettore host. Puoi farlo facilmente nel terminale con il comando
sudo apt install chrome-gnome-shell - Installa l'integrazione della shell di gnome nel tuo browser. La procedura dipende dal browser che utilizzi.
Ora dovresti essere in grado di installare un'estensione semplicemente facendo clic sul pulsante "On/Off" sul sito dell'estensione.