Recherche sur le site Web

Comment personnaliser le panneau de quai sur Ubuntu 20.04 Focal Fossa Linux


Dans cet article, nous vous montrerons quelques méthodes pour la personnalisation de la station d'accueil Ubuntu dans l'environnement de bureau GNOME par défaut sur Ubuntu 20.04 Focal Fossa Linux.

Gnome est l'environnement de bureau par défaut pour Ubuntu 20.04, et l'une des premières choses que vous verrez sur votre bureau est le panneau de quai à gauche de l'écran. Le panneau Dock est hautement personnalisable, il est donc facile de l'adapter à votre goût.

Dans ce tutoriel, vous apprendrez:

  • Comment ajuster l'apparence du panneau de quai dans le menu des paramètres
  • Comment utiliser DCONF-Editor pour les paramètres de panneau de quai granulaire
  • Comment ajuster les paramètres via la ligne de commande
  • Comment réintégrer les modifications indésirables du panneau Dock

Panneau de quai personnalisé sur Ubuntu 20.04

Exigences et conventions logicielles utilisées

Paramètres de personnalisation de base Ubuntu Dock de base

GNOME nous offre quelques options de personnalisation de base dans les paramètres. Accédez à Paramètres> Apparence Pour basculer l'auto-hide, ajuster la taille de l'icône et choisir la position du quai.

Ajuster l'apparence dans le menu des paramètres

Par défaut, ce sont toutes les options que vous trouverez pour personnaliser le panneau Dock. Si vous souhaitez plus de contrôle sur l'apparence de votre système, il est nécessaire d'installer un outil supplémentaire comme dconf-editor . Pour commencer, ouvrez une fenêtre de terminal et saisissez la commande Linux suivante:

$ sudo apt install dconf-editor


Après avoir été intallé, vous pourrez y accéder à l'intérieur de la fenêtre des applications, comme vu ici:

Ouvrez les applications puis DCONF-Editor

Avertissement
Il existe de nombreuses options dans cet outil, car il fournit une personnalisation granulaire pour de nombreux aspects du gnome. En d'autres termes: faites attention à éditer les paramètres ici, et ne le faites pas au hasard. Nous allons vous montrer comment retourner vos paramètres de gnome ci-dessous, au cas où quelque chose se passera mal.

À l'intérieur de DCONF-Editor, vous pouvez trouver les paramètres du panneau Dock en accédant à ce schéma: org> gnome> shell> Extensions> dash-to-dock .

éditeur de dconf

Ce menu offre un accès pratique à beaucoup de personnalisation qui n'est pas possible autrement, mais vous pouvez également utiliser DCONF-Editor via la ligne de commande.

Par exemple, la liste des commandes suivante donnera le résultat indiqué dans la capture d'écran ci-dessous:

$ gsettings set org.gnome.shell.extensions.dash-to-dock extend-height false
gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM
gsettings set org.gnome.shell.extensions.dash-to-dock transparency-mode FIXED
gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 64
gsettings set org.gnome.shell.extensions.dash-to-dock unity-backlit-items true

Panneau de quai personnalisé, résultat final



Expérimentez vos propres valeurs pour que le panneau de quai apparente exactement comme vous le souhaitez. Si vous vous retrouvez avec un résultat indésirable et que vous avez du mal à récupérer les choses, utilisez la directive de réinitialisation de DCONF-Editor pour retourner un paramètre à sa valeur par défaut.

Par exemple, nous définissons le dash-max-icon-size sur 64 ci-dessus. La commande pour retourner ce paramètre serait:

$ gsettings reset org.gnome.shell.extensions.dash-to-dock dash-max-icon-size

Conclusion

Dans cet article, nous avons vu comment effectuer une personnalisation de la quai d'Ubuntu sur l'environnement de bureau Gnome dans Focal Fossa Ubuntu 20.04. Grâce à l'utilisation du menu Paramètres par défaut et des paramètres supplémentaires trouvés dans DCONF-Editor, vous êtes désormais capable de modifier le panneau Dock pour regarder comme vous le souhaitez.

Articles connexes: