Extension-Shortcuts | Gérez vos extensions depuis le panel de Gnome Shell.

Plop les bovins !!!

Extension-Shortcuts est une extension très très sympathique pour Gnome Shell, qui permet d’ajouter un appelet servant à gérer vos extensions « Gnome » dans le panel.

Comme vous pouvez le voir sur la capture ci-dessus vous pourrez ainsi :

Afficher les extensions installées.

Chercher des extension (via le site de Gnome).

Gérer les préférences de vos extensions.

Lancer Gnome Tweak Tool (avanced Settings).

Ouvrir le répertoire contenant les extensions.

Redémarrer Gnome Shell.

Et vous avez en prime l’option Looking Glass, qui permet d’afficher un menu contenant diverses informations comme :

Les applications ouvertes.

L’état de la mémoire.

Les extensions.

Evaluator (dont je n’ai pas saisi l’utilité).

Etc…

NB : l’option « Looking Glass donne selon moi un très fort potentiel à cette extension. On peut facilement imaginer y intégrer plein de choses.

Extension-Shortcuts et une extension vraiment très intéressante et j’ai hâte de voir comment elle va évoluer. Si vous avez envie de l’essayer vous pouvez l’installer en vous rendant sur cette page.

Amusez-vous bien.

Moo !!!

Source : major.grubert.free.fr