Par défaut, Ubuntu Dock dans Ubuntu 17.10 et les versions ultérieures s’étend toujours aux bords (de haut en bas s’il est placé à gauche ou à droite et de gauche à droite s’il est placé en bas) même s’il n’est pas rempli d’icônes.
Existe-t-il un moyen d’empêcher ce comportement (c’est-à-dire que je souhaite assouplir la longueur du dock, car le nombre d’icônes d’application dans le dock augmente, il doit donc s’agrandir en conséquence)?
En d'autres termes, y a-t-il un moyen de faire en sorte que le dock Ubuntu ressemble à un "dock approprié" au lieu d'un panneau latéral/inférieur?
Ouvrir le terminal et courir
gsettings set org.gnome.Shell.extensions.dash-to-dock extend-height false
Pour revenir au "mode panneau", exécutez
gsettings set org.gnome.Shell.extensions.dash-to-dock extend-height true
En utilisant soit le Gnome Tweak Tool
, soit https://extensions.gnome.org/local/ , désactivez l’extension intégrée 17.10 Ubuntu Dock
et installez l’extension plus configurable Dash to Dock
et vous en donnera la quai plus court que vous désirez.