GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Comment personnaliser le panneau du dock sur Ubuntu 22.04 Jammy Jellyfish Linux

Dans cet article, nous allons vous montrer quelques méthodes pour personnaliser le panneau Dock 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 du dock à gauche de l'écran. Le panneau du dock est hautement personnalisable, il est donc facile de l'adapter à votre goût.

Dans ce didacticiel, vous apprendrez :

  • Comment ajuster l'apparence du panneau Dock dans le menu des paramètres
  • Comment utiliser dconf-Editor pour des paramètres de panneau de dock granulaires
  • Comment ajuster les paramètres via la ligne de commande
  • Comment annuler les modifications indésirables apportées au panneau Dock
Configuration logicielle requise et conventions de ligne de commande Linux
Catégorie Exigences, conventions ou version du logiciel utilisée
Système Ubuntu 22.04 Jammy Jellyfish
Logiciel Environnement de bureau GNOME, dconf-Editor
Autre Accès privilégié à votre système Linux en tant que root ou via le sudo commande.
Conventions # - nécessite que les commandes linux données soient exécutées avec les privilèges root soit directement en tant qu'utilisateur root, soit en utilisant sudo commande
$ – nécessite que les commandes linux données soient exécutées en tant qu'utilisateur normal non privilégié

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

  1. GNOME nous fournit quelques options de personnalisation de base dans les paramètres. Accédez à Paramètres> Apparence pour activer le masquage automatique, ajuster la taille de l'icône et choisir la position du dock.
  2. Par défaut, ce sont toutes les options que vous trouverez pour personnaliser le panneau du dock. Si vous souhaitez plus de contrôle sur son apparence sur 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 tapez les commandes Linux suivantes :
    $ sudo apt update
    $ sudo apt install dconf-editor
    
  3. Une fois installé, vous pourrez y accéder dans la fenêtre Activités, comme illustré ici :
  4. AVERTISSEMENT
    Cet outil contient de nombreuses options, car il offre une personnalisation granulaire pour de nombreux aspects de GNOME. En d'autres termes :soyez prudent lorsque vous modifiez les paramètres ici, et ne le faites pas au hasard. Nous vous montrerons ci-dessous comment rétablir vos paramètres GNOME, au cas où quelque chose tournerait mal.

    Dans dconf-Editor, vous pouvez trouver les paramètres du panneau dock en accédant à ce schéma :
    org > gnome > shell > extensions > dash-to-dock

  5. Ce menu offre un accès pratique à de nombreuses personnalisations qui ne sont pas possibles autrement, mais vous pouvez également utiliser dconf-Editor via la ligne de commande.

    Par exemple, la liste de commandes suivante donnera le résultat affiché 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 avec vos propres valeurs pour que le panneau du dock ressemble exactement à ce que vous souhaitez. Si vous vous retrouvez avec un résultat indésirable et que vous avez du mal à revenir en arrière, utilisez la directive reset de dconf-Editor pour rétablir un paramètre à sa valeur par défaut.

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

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

Réflexions finales

Dans ce didacticiel, nous avons vu comment ajuster le panneau du dock sur l'environnement de bureau GNOME dans Ubuntu 22.04 Jammy Jellyfish. Grâce à l'utilisation du menu des paramètres par défaut et des paramètres supplémentaires trouvés dans dconf-Editor, vous êtes maintenant capable de modifier le panneau du dock pour qu'il apparaisse comme vous le souhaitez.


Ubuntu
  1. Comment installer Gnome sur Ubuntu 22.04 LTS Jammy Jellyfish

  2. Comment installer Tweak Tool sur Ubuntu 22.04 LTS Jammy Jellyfish Linux

  3. Comment trouver mon adresse IP sur Ubuntu 22.04 Jammy Jellyfish Linux

  4. Comment installer les extensions Gnome Shell sur Ubuntu 22.04 Jammy Jellyfish Linux Desktop

  5. Comment personnaliser le panneau du dock sur Ubuntu 22.04 Jammy Jellyfish Linux

Comment installer des polices sur Ubuntu 22.04 Jammy Jellyfish Linux

Comment installer Telegram sur Ubuntu 22.04 Jammy Jellyfish Linux

Comment démarrer automatiquement des applications sur Ubuntu 22.04 Jammy Jellyfish Linux

Comment installer RStudio sur Ubuntu 22.04 Jammy Jellyfish Linux

Comment installer le bureau MATE sur Ubuntu 22.04 Jammy Jellyfish Linux

Personnaliser le panneau Dock Jammy JellyFish d'Ubuntu 22.04