😃
La version de Dash to Dock compatible avec gnome-shell est enfin disponible sur le site des extensions.
Il faut que tu effaces toute trace de dashtodock avant de l'installation proprement via github
Comme expliqué plus haut, je partais d'une installation neuve.
Sujet terminé pour moi.
Après install d'une iso d'ubuntu 20.04, j'installe gnome-tweak-tools et dash to dock. On est très proche de ce que pourrait être une "Ubuntu-Gnome".
