Quelqu'un peut-il aider à obtenir une transparence dynamique sur le dock et la barre supérieure, s'il vous plaît ? J'ai trouvé des extensions gnome mais uniquement pour la barre supérieure et je veux que cela fonctionne pour les deux (dock et barre supérieure). Dans Ubuntu 18.10 + Gnome 3.30, cela fonctionnait déjà assez bien. Pourquoi cette fonctionnalité intéressante est-elle supprimée ?
Réponse acceptée :
Modifier 2019-05-17 :à partir d'Ubuntu 19.04, la fonction de transparence dynamique de Dash To Dock ne semble pas fonctionner. Vous ne pouvez définir qu'une opacité fixe et personnalisée. finir la modification
Comme la fonctionnalité a été supprimée, vous devrez ajuster la transparence séparément pour le dock et pour la barre supérieure, et jouer avec les paramètres de chacun des éléments pour les faire correspondre
Ancrer Le moyen le plus simple consiste à installer l'extension Gnome Shell Dash to Dock. Ubuntu Dock est basé sur Dash to Dock et utilise les mêmes paramètres. Cependant, 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`.
Pour activer l'extension et accéder aux paramètres de configuration, assurez-vous que Gnome Tweaks (ou simplement "Tweaks") est installé. Dans l'onglet extensions de Tweak, vous pouvez activer ou désactiver les extensions installées. Cliquez sur le rouage à côté d'une extension à personnaliser.
Dans les options Dash to Dock, vous trouverez l'option de personnaliser la transparence (ou l'opacité) dans l'onglet "Apparence". À côté de "Opacité personnalisée", vous pouvez activer l'opacité dynamique.
Enfin, assurez-vous de désactiver Dash to Dock ou Ubuntu Dock. Sinon, vous utiliserez deux docks.
Barre supérieure
Comme il s'agit d'une fonctionnalité supprimée du stock Gnome Shell, on peut la réintégrer avec une extension Gnome. L'extension Gnome Shell Dynamic Panel Transparency entièrement mise à jour répondra à vos besoins.
Comme l'extension n'est pas incluse dans la source logicielle par défaut, vous devez l'installer à partir du site Web. Ce n'est pas possible dans une installation Ubuntu par défaut. Comme je n'ai pas trouvé d'autre message Askubuntu qui pourrait décrire comment activer l'installation d'extensions à partir du site Web des extensions Gnome, je le mentionne brièvement ici :
- Installez le connecteur hôte. Vous pouvez le faire facilement dans le terminal avec la commande
sudo apt install chrome-gnome-shell - Installez l'intégration du shell gnome dans votre navigateur. La procédure dépend du navigateur que vous utilisez.
Maintenant, vous devriez pouvoir installer une extension simplement en cliquant sur le bouton "On/Off" sur le site de l'extension.