Par défaut, Ubuntu Dock dans Ubuntu 17.10 et versions ultérieures s'étend toujours aux bords (barre supérieure en bas si placé à gauche ou à droite et de gauche à droite lorsqu'il est placé en bas) même lorsqu'il n'est pas rempli d'icônes.
Existe-t-il un moyen d'empêcher ce comportement (c'est-à-dire que je veux rendre la longueur du dock flexible, car le nombre d'icônes d'application dans le dock augmente, il devrait s'agrandir en conséquence)?
En d'autres termes, existe-t-il un moyen de faire d'Ubuntu Dock ressembler à un "bon dock" au lieu d'un panneau latéral / inférieur?
gnome-shell
ubuntu-dock
pomsky
la source
la source
En utilisant le
Gnome Tweak Tool
ou https://extensions.gnome.org/local/ , désactivez l'Ubuntu Dock
extension intégrée 17.10 et installez l'Dash to Dock
extension plus configurable , et cela vous donnera le dock le plus court que vous désirez.https://extensions.gnome.org/extension/307/dash-to-dock/
la source
Ubuntu Dock
et l'activation de l'Dash to Dock
extension à partir d'extensions.gnome.org fonctionnent très bien, exactement comme c'est censé le faire.