DiEOrLivE wrote:
En installant à partir des dépôts officiels, shell-version sera la bonne dans le fichier metadata.json
Ou à partir de
https://extensions.gnome.org/ mais je crois que theme-selector n'est pas là.
Justement non. Ceci étant une exception qui confirme la règle :-D
D'après ce que je lis sur le
forum Fedora, l'extension a été empaquetée par quelqu'un d'autre que son développeur, sans même qu'il soit
vérifié que la version de Gnome utilisée par Fedora 17 était supportée.
Ce qui n'est pas le cas
a priori le fichier
metadata.json du paquet indiquant une compatibilité avec Gnome 3.0, pas avec les séries suivantes... ce qui l'empêchera de toute façon d'être fonctionnel en l'état, sans modifier au moins le paramètre
shell-version.
Après, il est possible que l'API n'ait pas trop changé pour que cela suffise. Ce dont je doute, mais je ne suis pas le développement d'assez près et n'ai pas consacré les deux minutes supplémentaires pour le vérifier.