Recherche sur le site Web

Comment personnaliser le panneau de quai sur Ubuntu 22.04 Jammy Jellyfish Linux

Dans cet article, nous vous montrerons quelques méthodes pour personnaliser le panneau de quai dans l'environnement de bureau Gnome par défaut sur Ubuntu 22.04 Jammy Jellyfish Linux.

Gnome est l'environnement de bureau par défaut pour Ubuntu 22.04 Jammy Jellyfish, et l'une des premières choses que vous verrez sur votre bureau est le panneau de quai à gauche de l'écran. Le panneau de quai 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 du 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

Personnalisation de base dans les paramètres d'Ubuntu 22.04

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

  2. 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 un terminal de ligne de commande et saisissez les commandes Linux suivantes:

    
sudo apt update
sudo apt install dconf-editor

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

  4. 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 l'éditeur DCONF, vous pouvez trouver les paramètres du panneau de dock en naviguant vers ce schéma:
    org> gnome> shell> extensions> dash-to-dock

  5. 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

  6. 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

Réflexions de clôture

Dans ce tutoriel, nous avons vu comment ajuster le panneau de quai sur l'environnement de bureau Gnome dans Ubuntu 22.04 Jammy Jellyfish. 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: