Korak pourquoi tu conseillerais de foutre en l'air son système existant pour repartir sur un truc même plus correctement maintenu ?
----
donc comment je pourrais réinstaller cette extension si c'est cela qui plante ?
Franchement je ne pense pas que la réinstaller le même paquet va régler le problème. C'est installé sur le système de milliers d'autres gens sans souci, donc le problème doit venir d'ailleurs : mon hypothèse (et je suppose celle de xubu1957) était une interaction avec une autre extension qui cassait des trucs, mais ça peut venir d'encore ailleurs
Pour être sûr à 100% de ce qu'est l'erreur, il faut regarder ce qui s'écrit dans le journal d'erreurs, mais c'est un peu pénible à récupérer. Et je pré-sens que ça signifie de devoir trouver la bonne ligne dans un journal qui en fait 1500 :/
au pire, essaye
sudo apt install gnome-shell-extension-dashtodock
ça sera un dock légèrement différent (beaucoup plus d'options) mais assez similaire. Assure-toi bien qu'il soit activé dans Ajustements. Si il plante pareil on essayera de lire le journal des erreurs
