Bon, bon, ça signifie sans doute qu'il faut avoir installé
dash-to-dock pour que toutes les options soient disponibles (
ubuntu-dock c'est alors un
dash-to-dock « light » avec seulement les options gérées par Ubuntu ).
Donc cardabelle, installe :
⋅ [url=apt://gnome-tweaks]gnome-tweaks[/url]
⋅ [url=apt://chrome-gnome-shell]chrome-gnome-shell[/url]
Rends-toi sur le site
https://extensions.gnome.org/ ( via Firefox ou Chromium ou Chrome ) et accepte l'installation du plugin/extension/module.
Dès lors tu pourras installer des extensions supplémentaires et gérer leurs options depuis ce site.
Tu peux aussi les gérer dans « gnome-tweaks = Ajustements ».