ben suffit d'avoir l'extension qui va bien, wait…. :-)
sérieusement, il y a un outil "Advanced settings teaks…" qui permet, entre autres choses d'installer/activer/desactiver les shell extensions,
mais effectivement, il reste la question de la mise à jour des extensions, même avec le plugin dans le navigateur, il faut aller sur la page de chaque extension pour vérifier si on a la dernière version
(bon c'est le début, il y a encore de la marge pour améliorer le système)
[^] # Re: Alpha → Beta, extensions favorites
Posté par pralines . En réponse à la dépêche GNOME 3.4 : l'émergence des applications. Évalué à 1.
ben suffit d'avoir l'extension qui va bien, wait…. :-)
sérieusement, il y a un outil "Advanced settings teaks…" qui permet, entre autres choses d'installer/activer/desactiver les shell extensions,
mais effectivement, il reste la question de la mise à jour des extensions, même avec le plugin dans le navigateur, il faut aller sur la page de chaque extension pour vérifier si on a la dernière version
(bon c'est le début, il y a encore de la marge pour améliorer le système)
Envoyé depuis mon Archlinux