Le Garage hermétique

Ce site est essentiellement consacré à Gnome Shell mais pas que.

Aller au contenu | Aller au menu | Aller à la recherche

Fil des billets    Fil des commentaires

Mot-clé - thème

Extension594a.png

Extension 594 : Elegance Colors Preferences

Le thème Elegance Colors est un thème pour l'interface Gnome Shell dont les couleurs s'adaptent à divers éléments, au choix de l'utilisateur (comme le fond d'écran, comme Unity, par exemple). Ces choix sont réglables par un script qui lance une interface pour les différents réglages de ce thème,...

Lire la suite


ilovegnome-logo.png

Bientôt en ligne : iLoveGNOME

Worldofgnome l'avait annoncé il y a quelques mois et ils sont en voie de finaliser leur nouveau projet pour Gnome : un site qui fonctionnera à la manière du site des extensions de Gnome mais cette fois pour les thèmes (de l'interface, des fenêtres) et les icônes et permettra, outre de naviguer...

Lire la suite



Theme_malys_rought_1_0.png

Un créateur de thèmes : Malys

Le site World of Gnome, que j'ai découvert grâce à La Vache Libre, deux sites que je vous recommande, publie un article sur un créateur de thèmes, dont certains pour Gnome Shell que je ne connaissais pas : Malys. Et ce tchèque a pas mal de talents. Vous trouverez de-ci delà ses diverses...

Lire la suite


icones-faenza.png

Thèmes d'icônes : Faenza et Faience

Faenza Ce thème d'icônes est l'un des plus populaires sous Linux. Sa caractéristique est de fournir des icônes carrées ce qui leur permet d'être joliment intégrées dans les divers docks, lanceurs, etc. Le thème inclut bien sûr des miniatures qui s'intègrent dans les zones de notification ou sur les...

Lire la suite


webupd8.png

Le dépôt Webupd8 des thèmes pour Gnome Shell

Le site Webupd8 a regroupé dans un même dépôt des thèmes pour l'interface Gnome Shell, pour les fenêtres, les décorations de fenêtres et pour les icônes qui n'avaient pas leur propre dépôt, ce qui fait que vous avez sous la main pas mal de propositions et qui sont parmi les plus populaires. Ajouter...

Lire la suite


Extension355.png

Extension 355 : Status Area Horizontal Spacing

Réduit l'espace entre les icônes de la zone de notification (du haut). Par défaut il est de 12px et avec cette extension il devient de 6px. Il est possible de changer ce paramètre en éditant extension.js de l'extension (présent dans le répertoire de l'extension lui-même situé dans...

Lire la suite


Extension239.png

Extension 239 : Shell Restart User Menu Entry

Ajoute un choix 'redémarrer l'interface' au menu utilisateur (l'équivalent du ALT+F2, r). L'extension sur le site Gnome...

Lire la suite


Extension168.png

Extension 168 : Theme and Shell Reloading

Ajoute un bouton au panneau principal pour recharger l'interface (l'équivalent du ALT+F2, r). L'extension sur le site Gnome...

Lire la suite


Gnome-tweak-tool.png

Application : Gnome Tweak Tool

Gnome Tweak Tool, parfois appelé 'Advanced Settings' dans certaines distributions, est la première tentative pour centraliser les modifications de l'interface de Gnome Shell. S'il ne le fait pas très bien pour les extensions, qui nécessiteraient une meilleure organisation (mais il date de...

Lire la suite