😃
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".
Chez moi aussi "System Monitor" et "DashToDock" fonctionnent parfaitement 🙂

Par contre j'ai essayé d'installer Variety mais il semble, sur ma machine, que cela ne fonctionne pas du tout. D'ailleurs rien n'est installé pour autant que je puisse le savoir...

😉
6 mois plus tard
Bonjour,
Comment utiliser ton script depuis cubic pour personnaliser une iso (ubuntu dde 20.04)?

merci