Extension List | Afficher et gérer les extensions directement dans le panneau de contrôle de Gnome.

Plop les bovins.

Si vous utilisez Gnome Shell il y a un petit truc sympa qui vient de faire son apparition.
Vous savez sans doute qu’il est possible d’installer des extensions via un service en ligne sur Gnome Shell. Vous savez également qu’une fois installées vous pouvez activer ou désactiver ces dernières via le même service en ligne ou Gnome Tweak Tool.

Il est désormais possible de le faire depuis le panneau de contrôle de Gnome. C’est pratique et très simple, il suffit pour cela de vous rendre sur cette page d’installer Extension List et vous verrez une nouvelle rubrique dans le panneau comme le montre l’image ci-dessus.

Encore un petit truc sympa qui va vous gagner un peu plus de temps.

Amusez vous bien.

Moo !!!

Source