Je souhaite personnaliser manuellement mon dock de planche, mais lorsque je vais dans le répertoire de planche à la recherche du fichier de paramètres, je ne trouve que le répertoire des lanceurs, et pas ce que je recherche. J'ai déjà cherché sur certains forums, mais tout le monde recommande d'utiliser Docky ou d'autres dock, qui ne sont pas disponibles pour Ubuntu 19.04, la version que j'utilise actuellement. Quelqu'un sait-il comment résoudre ce problème?
P.S. désolé pour l'anglais
Plank utilise GSettings et dconf pour gérer sa configuration. La configuration est stockée avec la configuration d'autres applications qui utilisent GSettings dans un seul fichier. Vous trouverez ce fichier dans ~/.config/dconf/
, dans mon système c'est ~/.config/dconf/user
. Ce n'est pas un fichier texte, vous ne pouvez pas le modifier dans un éditeur de texte.
Utilisez la fenêtre des préférences de Plank pour modifier vos quais, pour ouvrir la fenêtre des préférences Ctrl et cliquez avec le bouton droit de la souris pendant que le curseur se trouve sur le dock, dans le menu contextuel choisissez Preferences
.
Pour changer la couleur du petit cercle sous l'icône de l'application qui s'affiche lorsqu'une fenêtre est ouverte, vous devrez soit choisir un thème différent, soit modifier le thème que vous utilisez actuellement. Les thèmes de planche sont situés dans /usr/share/plank/themes/
ou ~/.local/share/plank/themes/
.
Vous pouvez également installer des thèmes supplémentaires, jetez un œil à