Désinstaller une extension Gnome

Robert Algoud · Le 08/12/2013, à 19:27

Bonsoir

Sous Ubuntu 13.04 et Gnome Shell 3.10

Petit problème agaçant :

Certaines extensions de Gnome ne sont pas désintallables ni par l'outil Gnome Tweak Tool (touche Remove inactive) ni par la page de gestion en ligne des extensions (le clic sur la croix n'a aucun effet).
Est-il possible d'en supprimer en ligne de commande ?
J'ai aussi cherché dans les différents dossiers système où étaient cachés ces extensions, mais je n'ai rien trouvé.
Quelqu'un sait-il comment faire ce que je demande et y a-t-il une explication au non fonctionnement de Tweak Tool ou de la page Extension en ligne avec certaines de ces extensions ?

cromanion · Le 08/12/2013, à 23:25

Salut,

mon pauvre !
j'ai abandonné ce monceau de bugs et j'attends la version 2014 pour voir s'il y a du mieux.
actuellement, je suis revenu sur la 10.04.

Major Grubert · Le 09/12/2013, à 06:53

Sauf erreur cela vient du fait qu'un paquet est installé du nom de gnome-shell-extension.
Il sert à pouvoir accéder au mode ancien (avec barre de tâches etc).
Si tu veux enlever ces extensions là, tu peux essayer de l'enlever avec un sudo apt-get remove, en espérant qu'il ne sert qu'à ça.

Robert Algoud · Le 09/12/2013, à 11:57

Salut

Merci pour vos réponses

cromanion a écrit :

j'ai abandonné ce monceau de bugs et j'attends la version 2014 pour voir s'il y a du mieux.

A part celui cité dans mon post, je n'ai pas à me plaindre de la version 3.10 de gnome.

Salut Major

Je testerai ta solution ce soir

Robert Algoud · Le 09/12/2013, à 17:21

Salut Major

Si on désinstalle gnome-shell-extension, synaptic a la gentillesse de prévenir qu'il enlèvera ubuntu-gnome-desktop dans le même élan !
Je vais donc m'abstenir et supporter placidement ce petit désagrément.

Merci

Major Grubert · Le 09/12/2013, à 23:13

Yep, j'ai posté ça du boulot sans avoir accès à mon ordinateur et il s'avère que sous Ubuntu 13.10, il y a aussi le paquet gnome-shell-extensions mais pas les extensions surnuméraires, donc elles doivent venir d'ailleurs, contrairement à ce que j'indiquais.

Ceci dit c'est étrange parce que sur Gnome 3.8 que j'avais sur Ubuntu 13.04 (avec dépôt gnometeam3) j'avais aussi ces extensions qui me saoulaient mais que sous Gnome 3.8 sur Ubuntu 13.10 (sans dépôt gnometeam3) je ne les ai plus. Je pense qu'elles doivent provenir d'un paquet ajouté par gnometeam3 je pense.

Essaye de chercher si tu peux avoir Gnome Shell sans avoir Gnome Classic (le mode avec la barre des tâches).

Bon courage.

tiramiseb · Le 10/12/2013, à 09:14

Salut,

En effet, des extensions sont livrées dans des paquets Ubuntu et donc non désinstallables "utilisateur par utilisateur". C'est pareil pour n'importe quel autre logiciel fourni par Ubuntu : l'utilisateur ne peut pas les désinstaller "juste pour lui".

Concernant le paquet "ubuntu-gnome-desktop", c'est juste un métapaquet qui définit la liste des paquets nécessaires pour le bureau GNOME. Il ne contient pas de donnée spécifique. Tu peux le supprimer sans risque. Attention par contre ensuite à ce que ses dépendances (qui, elles, sont importantes) ne se désinstallent pas (notamment avec la commande "sudo apt-get autoremove"). Mais bon, pour ma part je ne vois pas l'intérêt de désinstaller ces extensions : tu peux de toute façon les désactiver... Comme tu peux choisir de ne pas utiliser LibreOffice sans le désinstaller.

Robert Algoud · Le 10/12/2013, à 10:30

tiramiseb a écrit :

Mais bon, pour ma part je ne vois pas l'intérêt de désinstaller ces extensions : tu peux de toute façon les désactiver..

Salut

C'est ce que j'ai fait depuis longtemps, mais le pinaillage compulsif ....

Tant qu'on y est à parler des bugs de Gnome 3.10 et pour faire plaisir un peu à cromanion, il arrive régulièrement (1 fois sur 5) qu'au démarrage toutes mes extensions soient désactivées, et ça, c'est énervant pour du vrai !

tiramiseb · Le 10/12/2013, à 10:33

Je ne sais pas quoi dire pour ce problème-là. Moi ça ne m'arrive pas. Enfin, ça m'arrive quand je fais un "gnome-shell --replace" après un plantage, j'imagine qu'il se met "en sécurité". Cela dit, si je fais un "kill -9" sur un gnome-shell figé, ça relance un nouveau gnome-shell tout seul en gardant les extensions...

Robert Algoud · Le 10/12/2013, à 11:36

tiramiseb a écrit :

sur un gnome-shell figé

Alors ça, je n'y ai jamais droit.
En fait, mis à part cette histoire d'extensions désactivées de temps en temps au démarrage, je trouve Ubuntu 13.10 sous Gnome 3.10 très stable et très fluide, surtout que, pour une fois, il m'a suffit de faire une mise à niveau de la 13.04 à la 13.10 sans avoir besoin de tout réinstaller comme d'habitude pour avoir un machin qui fonctionne correctement.

Dernière modification par Robert Algoud (Le 13/07/2014, à 14:24)

Major Grubert · Le 10/12/2013, à 18:39

Beh moi j'ai du virer les dépôts gnometeam3 pour éviter un message au démarrage qui m'indiquait que mon système ne pouvait fonctionner qu'en "low graphics" et ce dès le grub.
Il fonctionnait bien par ailleurs, mais je ne supportais pas ce message.
Du coup j'étais en Gnome 3.8 sous Ubuntu 13.04 et ... je suis encore en 3.8 sous Ubuntu 13.10.

Dernière modification par Major Grubert (Le 10/12/2013, à 18:40)

cromanion · Le 10/12/2013, à 18:49

plandabourou a écrit :

tiramiseb a écrit :
Mais bon, pour ma part je ne vois pas l'intérêt de désinstaller ces extensions : tu peux de toute façon les désactiver..
Salut
C'est ce que j'ai fait depuis longtemps, mais le pinaillage compulsif ....
Tant qu'on y est à parler des bugs de Gnome 3.10 et pour faire plaisir un peu à cromanion, il arrive régulièrement (1 fois sur 5) qu'au démarrage toutes mes extensions soient désactivées, et ça, c'est énervant pour du vrai !

merci d'avoir pensé à moi
Tu sais qu'une extension est intimement liée à ta machine est sur le sur le site internet
aférant aux extensions. Sur ce site, il y a des boutons on/off et il y a les memes boutons
dans tweak tool.

Robert Algoud · Le 10/12/2013, à 19:52

cromanion, tu lis trop vite ce que j'écris !!!!!

ni par la page de gestion en ligne des extensions (le clic sur la croix n'a aucun effet).

mon post 1

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 08/12/2013, à 19:27

Désinstaller une extension Gnome

#2 Le 08/12/2013, à 23:25

Re : Désinstaller une extension Gnome

#3 Le 09/12/2013, à 06:53

Re : Désinstaller une extension Gnome

#4 Le 09/12/2013, à 11:57

Re : Désinstaller une extension Gnome

#5 Le 09/12/2013, à 17:21

Re : Désinstaller une extension Gnome

#6 Le 09/12/2013, à 23:13

Re : Désinstaller une extension Gnome

#7 Le 10/12/2013, à 09:14

Re : Désinstaller une extension Gnome

#8 Le 10/12/2013, à 10:30

Re : Désinstaller une extension Gnome

#9 Le 10/12/2013, à 10:33

Re : Désinstaller une extension Gnome

#10 Le 10/12/2013, à 11:36

Re : Désinstaller une extension Gnome

#11 Le 10/12/2013, à 18:39

Re : Désinstaller une extension Gnome

#12 Le 10/12/2013, à 18:49

Re : Désinstaller une extension Gnome

#13 Le 10/12/2013, à 19:52

Re : Désinstaller une extension Gnome

Pied de page des forums