Dash to panel / Dash to dock dans Ubuntu 19.10
Je viens de passer d'Ubuntu 19.04 à 19.10 (nouvelle installation). En 19.04, j'ai installé une application d'Ubuntu Software appelée tableau de bord pour tableau de bord ou tableau de bord pour ancrer (c'était l'une de celles-ci - laquelle? Je ne me souviens pas).
Il a supprimé la barre supérieure et a fusionné l'horloge et la batterie, etc. dans mon dock comme:
Après être passé à 19.10, j'ai essayé d'installer cela, car je préfère avoir une plus grande zone de "travail". J'ai cherché les deux dans Ubuntu Software, mais apparemment, je n'ai pas obtenu de résultats de recherche pour ces derniers. Je ne suis pas sûr que cela fonctionne sous Ubuntu - ces extensions ne sont-elles pas encore disponibles pour 19.10? Si oui, existe-t-il des alternatives? Si non, que fais-je de mal? Je suis sûr à 99,99% que c'est l'un de ces 2!
Je viens de passer moi-même à 19.10 à partir de 19.04. Dash to Dock semble avoir cessé de fonctionner. Je viens d'installer Dash sur le panneau et cela semble fonctionner. Vous pouvez le positionner en haut ou en bas. Et j'aime l'espace supplémentaire qu'il offre.
Pour moi, je l'ai installé comme une extension gnome à partir du site Web. https://extensions.gnome.org/
Vous devrez vous assurer que le module complémentaire d'intégration Gnome est installé dans Firefox s'il n'est pas déjà installé. S'il est installé, vous verrez une empreinte noire en haut à droite du navigateur Firefox pour le module complémentaire d'intégration Gnome et qui peut vous amener sur le site Web.
J'espère que cela vous aide.