Je n'utilise plus GNOME depuis au moins un an (j'aime les applis GTK3, mais pas le DE), mais j'avais un peu creusé la question à un moment ou un autre. Ces infos date du temps de la 3.12, je pense. Elles ne sont donc pas forcément les plus récentes.
Le fichier metadata.json contient un champ "shell-version":. Celui-ci whiteliste les versions du shell avec lesquelles l'extension est compatible. Ce champ existe toujours aujourd'hui. À l'époque au moins, c'était une whitelist très stricte, ta version de shell n'était pas présente, l'extension n'était pas supportée. Dans 95% des cas, il suffisait que les mainteneurs des extensions rajoutent simplement la bonne chaîne de caractères et c'était bon. À la sortie de la 3.12 beaucoup de gens ont gueulé qu'aucune extension ne marchait plus. Les développeurs de GNOME avait répondu que bien que les extensions sont prévues dans le planning de la release, mais que les mainteneurs d'extensions ont tendance à rater les deadline et cette fois-ci c'était particulièrement visible.
Dans le doute, tu peux toujours modifier les fichiers correspondants et la majorité des extensions devraient marcher.
[^] # Re: effet visuel ?
Posté par Plume . En réponse au message RÉSOLU - Gnome 3.18. Évalué à 1.
Pour ce qui est des plugins GNOME:
Je n'utilise plus GNOME depuis au moins un an (j'aime les applis GTK3, mais pas le DE), mais j'avais un peu creusé la question à un moment ou un autre. Ces infos date du temps de la 3.12, je pense. Elles ne sont donc pas forcément les plus récentes.
Le fichier
metadata.jsoncontient un champ"shell-version":. Celui-ci whiteliste les versions du shell avec lesquelles l'extension est compatible. Ce champ existe toujours aujourd'hui. À l'époque au moins, c'était une whitelist très stricte, ta version de shell n'était pas présente, l'extension n'était pas supportée. Dans 95% des cas, il suffisait que les mainteneurs des extensions rajoutent simplement la bonne chaîne de caractères et c'était bon. À la sortie de la 3.12 beaucoup de gens ont gueulé qu'aucune extension ne marchait plus. Les développeurs de GNOME avait répondu que bien que les extensions sont prévues dans le planning de la release, mais que les mainteneurs d'extensions ont tendance à rater les deadline et cette fois-ci c'était particulièrement visible.Dans le doute, tu peux toujours modifier les fichiers correspondants et la majorité des extensions devraient marcher.