Problème de MAJ des extensions Gnome sous Debian 9

Support Debian
#1

Bonjour à tous,

Depuis que je suis passé sur Debian 9 (actuellement 9.4), je rencontre un problème avec la mise à jour des extensions Gnome (actuellement en 3.22.2-1).

Quand je vais sur https://extensions.gnome.org/local/, je vois bien des MAJ disponibles, je les lance, il me demande une confirmation et tout semble bien se passer. Mais si j’y reviens un peu plus tard, j’ai de nouveau les mêmes MAJ proposées.

J’ai chercher sur le net mais je n’ai rien trouvé de comparable.

Merci d’avance pour vos retours.

#2

Salut
Les extensions installées par le site gnome sont dans le home de l’utilisateur

ls -alrt ~/.local/share/gnome-shell/extensions

les extensions installées par un paquet Debian sont dans /usr

ls -alrt /usr/share/gnome-shell/extensions

Vérifie ces répertoires en particulier les droits de ton utilisateur

#3

Bonjour,

Peut-être qu’un gourmand a mangé le cookie

#4

Salut @grandtoubab,

Merci pour ton retour.

J’ai vérifié les droits des extensions. Mon utilisateur est propriétaire des extensions dans ~/.local/share/gnome-shell/. Je lui ai attribué les droits pour les extensions dans /usr/share/gnome-shell/extensions (root est propriétaire).

J’ai remis à jour les extensions, redémarrer la machine et les mises à jour me sont de nouveau proposées.

#5

ce n’était pas nécessaire de changer les droits des extensions installés par root avec un paquet Debian

Si le navigateur n’a pas les droits d’écriture sur les extensions dans ton /home ça devient vraiment mystérieux, ou bien c’est que tu lances le navigateur avec les droits d’un autre compte utilisateur qui n’a pas les droits w
??

https://extensions.gnome.org/local/

un moyen bestial serait de mettre 777 à la place de 755 sur ~/.local/share/gnome-shell/extensions pour que tout le monde puisse avoir le droit w

#6

Bonjour,

Je ne sais plus s’il y a des logs d’install/màj quelque part. Ça pourrait peut-être nous éclairer.

De mémoire, il me semble me rappeler un problème similaire où l’install/màj ne se faisait pas car le paquet zip/unzip/gzip (je ne me souviens plus lequel exactement) n’était pas installé.

#7

https://extensions.gnome.org/about/

Make sure that you have the unzip package installed.

#8

Merci pour vos retours.

dpkg -s unzip | grep Status
Status: install ok installed

Pour les droits, j’ai justement fait un 777 pour vérifier si le problème venait de là ou pas.

#9

Une dernière vérification de base, as tu bien installé le paquet chrome-gnome-shell ?

apt policy chrome-gnome-shell
chrome-gnome-shell:
  Installé : 9-1
  Candidat : 9-1
 Table de version :
 *** 9-1 500
        500 http://deb.debian.org/debian buster/main amd64 Packages
        500 http://deb.debian.org/debian buster/main i386 Packages
        100 /var/lib/dpkg/status
     8-4 500
        500 http://deb.debian.org/debian stretch/main amd64 Packages
        500 http://deb.debian.org/debian stretch/main i386 Packages

https://packages.debian.org/stretch/chrome-gnome-shell

#10

Désolé pour le retard, je n’avais pas vu ta réponse.

Oui j’ai bien ce paquet d’installé :

$ apt policy chrome-gnome-shell
chrome-gnome-shell:
  Installé : 8-4
  Candidat : 8-4
 Table de version :
 *** 8-4 500
        500 http://httpredir.debian.org/debian stretch/main amd64 Packages
        500 http://httpredir.debian.org/debian stretch/main i386 Packages
        100 /var/lib/dpkg/status