J'ai l'extension désactivée (voir ❶), mais les icônes sont toujours là (voir ❷)!
Je peux m'en débarrasser si je désinstalle l'extension avec
Sudo dpkg -r --force-depends gnome-Shell-extension-desktop-icons
Mais ils reviendront avec une mise à niveau. Je peux les forcer à ne pas aimer:
Sudo apt-mark hold gnome-Shell-extension-desktop-icons
Mais ensuite, j'obtiens une énorme icône rouge ⛔ me disant en permanence que mon système est en panne.
Pourquoi ne se comportera-t-il pas? Y a-t-il un moyen de le réparer?
Par pure frustration que cela ne fonctionne toujours pas en 19.10, je pirate le fichier à /usr/share/gnome-Shell/extensions/desktop-icons@csoriano/extension.js
Mettre simplement return;
Comme première ligne après function enable() {
✔ Les icônes ont disparu.
Ils reviendront reviendront avec une mise à niveau, mais au moins je n'ai pas cassé les dépendances apt (!) Ou causé un gros signe rouge cassé du système permanent.
Installez d'abord Vanilla gnome. (Cette étape peut être facultative, mais je ne peux pas vérifier car il s'agit simplement du chemin que j'ai suivi.)
Sudo apt install Vanilla-gnome-desktop
Redémarrez maintenant votre système avec le nouveau gnome Vanilla.
Retirez ensuite l'extension. Cela supprimera certains méta packages, mais ne vous inquiétez pas. Cela ne cassera rien.
Sudo apt remove gnome-Shell-extension-desktop-icons
Maintenant, j'ai redémarré ici, mais ce n'est probablement pas nécessaire. Ouvrez maintenant le site Web de l'extension gnome Shell. Je le fais sur mon système en cliquant sur l'icône du petit pied dans Firefox. Ensuite, je clique simplement sur le bouton X rouge.
Vous ne devriez plus avoir l'extension.
Je suis le 19.10 ... pour référence.
Juste comme note latérale. En supprimant ce package, l'extension fonctionne correctement et peut ensuite être activée et désactivée.