Fil des billets
Fil des commentaires
Extensions
Sous-catégories:
Extension 656 : RC Script for Gnome Shell
26 avril 2013, 11:11
Exécute ~/.gnomeshellrc.js au démarrage de Gnome Shell. Ça ne vous dit rien ? À moi non plus. Après avoir questionné son auteur, je peux vous en dire plus : le fichier en question est un script pouvant être personnalisé à l'envie par ceux qui s'y connaissent et qui se lancera au démarrage de Gnome...
Mes extensions favorites
01 juillet 2012, 02:25
Chacun a ses préférences suivant ses usages et vos goûts et habitudes sont probablement différents des miens, mais bon ici c'est chez moi alors j'ai fait mon classement des extensions accessible par l'intermédiaire des mots clés. Les extensions qui me semblent incontournables quelles que soient vos...
Extension 178 : SoftYubikey
26 juin 2012, 08:30
C'est une application en lien avec Yubicos OTP Authentication. L'extension sur le site Gnome...
Extensions officielles
24 juin 2012, 23:30
Les articles concernant les extensions officielles sont ceux comportant l'étiquette extension officielle....
Les extensions
24 juin 2012, 23:18
Les extensions sont des ajouts au Gnome Shell de base qui permettent de faire énormément de choses et en particulier d'accéder à des réglages qui ne sont disponibles ni dans les paramètres système de Gnome 3, ni par l'intermédiaire de Gnome Tweak Tool. Quelques-unes sont officielles, mais la plupart...
Derniers commentaires