Comment supprimer les extensions GNOME?
Ubuntu 17.10 (xorg), gnome 3.26.2, outil Tweak installé. J'ai installé le gnome-Shell-extensions, chrome-gnome-Shell et l'add-on du navigateur Web gnome-Shell-integration.
Dans l'outil Tweak, sous extensions, je vois toutes les extensions que j'ai téléchargées et installées depuis https://extensions.gnome.org .
- Je ne vois aucun bouton (un "X" rouge) à côté de chaque extension dans l'outil Tweak afin de supprimer l'extension individuelle. Est-ce à dessein? Le seul moyen de supprimer une extension consiste-t-il à accéder à https://extensions.gnome.org via un navigateur Web?
- Je ne vois pas non plus dans l'outil Tweak de bouton ou de lien hypertexte qui s'ouvrira https://extensions.gnome.org . Est-ce aussi par conception?
Il semble que l'option permettant de désinstaller les extensions de GNOME Tweaks ait été supprimée.
Vous pouvez simplement supprimer le dossier associé à une extension particulière de ~/.local/share/gnome-Shell/extensions afin de désinstaller cette extension.