Comment activer le panneau inférieur unique dans Ubuntu 20.04 LTS

Comment activer le panneau inférieur unique dans Ubuntu 20.04 LTS


Vous préférez un panneau inférieur unique aux panneaux de bureau par défaut de Gnome? Vous pouvez obtenir un panneau de type Windows ou KDE Plasma par l'extension Dash to Panel de Gnome Shell.

Dash to Panel fusionne le panneau supérieur et le dock gauche en un seul panneau en bas. Et propose une boîte de dialogue de paramètres pour modifier la position du panneau, le masquage automatique et toute autre apparence.


1. Ouvrez le terminal en appuyant sur Ctrl + Alt + T sur le clavier ou en recherchant «terminal» dans le menu «Afficher les applications».


Lorsque le terminal s'ouvre, exécutez la commande pour installer l'extension:


sudo apt installer gnome-shell-extension-dash-to-panel


2. Ensuite, installez l'outil Gnome Tweak si vous ne l'avez pas via la commande:


sudo apt installer gnome-tweaks


3. Redémarrez votre ordinateur et activez l'extension dans Gnome Tweaks -> onglet Extensions.


Enfin, faites un clic droit sur le nouveau panneau et accédez aux paramètres pour modifier son apparence et en profiter!


Désinstaller:

Pour restaurer les panneaux Gnome par défaut, désactivez simplement Dash to Panel dans Gnome Tweaks. Et redémarrez votre machine pour appliquer les modifications.


Vous pouvez également supprimer le package d'extension en exécutant la commande dans le terminal:


sudo apt installer gnome-shell-extension-dash-to-panel

Commentaires

Enregistrer un commentaire

Posts les plus consultés de ce blog

Comment installer PyCharm 2017.2.2 dans Ubuntu 16.04, 17.04

Image
JetBrains PyCharm IDE a atteint la version 2017.2.2 il y a plus d'une semaine. Vous pouvez désormais l'installer facilement dans Ubuntu 16.04 et / ou Ubuntu 17.04 via PPA. PyCharm 2017.2.2 a corrigé les bogues suivants: Un enjeu dans la création de projets Angular CLI Insight code et correctifs d'inspection: problèmes de «méthode peut être statique» et mauvaise identification de Python 3.7 Django: conflit de cache avec le projet de modèle Jinja et Ctrl + clic sur les modèles de widget Docker: problèmes de variable d'environnement Docker Compose JavaScript: aller à la déclaration, aller à l'implémentation Comment installer PyCharm 2017.2.2 dans Ubuntu: Pour les versions communautaires et professionnelles, vous pouvez utiliser ce PPA non officiel. Donc pour, il contient les packages pour Ubuntu 14.04, Ubuntu 16.04, Ubuntu 17.04, Ubuntu 17.10. 1. Ouvrez le terminal et exécutez la commande pour ajouter le PPA: sudo add-apt-repository ppa: viktor-krivak / pycharm 2. Véri
Lire la suite

Comment installer CopyQ Clipboard Manager 3.2 dans Ubuntu 18.04 / 16.04

Image
CopyQ, un gestionnaire de presse-papiers avancé avec des fonctionnalités d'édition et de script, a atteint la version 3.2 il y a quelques heures avec des améliorations et diverses corrections de bogues. CopyQ surveille le presse-papiers du système et enregistre son contenu dans des onglets personnalisés. Le presse-papiers enregistré peut être ultérieurement copié et collé directement dans n'importe quelle application. Les dernières fonctionnalités de CopyQ 3.2: Ajouter une option pour fermer la fenêtre principale lorsqu'elle n'est pas focalisée Ajouter un type de commande de script pour améliorer l'API et la CLI de script Ajouter un type de commande d'affichage pour remplacer les données d'affichage des éléments Ajouter de la documentation pour l'API de script des plugins Ajouter une fonction de script afterMilliseconds () Permet de définir des raccourcis globaux et des commandes de menu dans les préférences Nouvelle apparence d'icône (Font Awesome 5
Lire la suite

Comment mettre à niveau Ubuntu 17.10 (16.04) vers Ubuntu 18.04

Image
Ubuntu 18.04 LTS a atteint le gel final de la bêta il y a quelques jours. Vous pouvez maintenant mettre à niveau votre bureau Ubuntu 17.10 ou Ubuntu 16.04 vers Ubuntu 18.04 beta et une mise à niveau ultérieure vers Ubuntu 18.04 final en installant des mises à jour système régulières. Remarque: avant de commencer, veuillez consulter la note de publication ou le journal des modifications (voir les étapes ci-dessous). Et le processus de mise à niveau peut rencontrer des problèmes, une nouvelle installation d'Ubuntu 18.04 est recommandée. Préparation: Sauvegardez vos signets, vos documents, toutes vos données importantes. Lancez Software & Updater -> Other Software, désactivez ou supprimez tous les PPA tiers. Lancez le logiciel et les mises à jour -> Lecteurs supplémentaires, restaurez les pilotes open source si des pilotes propriétaires sont utilisés. Vous pouvez également supprimer tous les environnements de bureau non par défaut pour réduire le temps de mise à niveau. Pour
Lire la suite