Faenza : des icônes sympa pour Gnome

Si vous voulez donner un aspect original à votre environnement Gnome, vous pouvez remplacer les icônes par défaut par le thème Faenza. Ces icônes aux formes carrées ont été créés par Tiheum et sont à récupérer sur Deviant Art.

Gnome 3.2 dans Debian? prêt à 78%

Après l’intégration de Gnome 3.0 dans Wheezy, la branche testing de Debian, la suite logique est la mise à jour de l’environnement Gnome vers sa dernière version, à savoir la 3.2. Aujourd’hui, la plupart des paquets pour Gnome 3.2 ont été versés dans Sid et/ou Wheezy. Il reste encore quelques points rouges sur la checklist, notamment concernant la migration de Gdm, mais dans l’ensemble, on est à 78% de migré dans Sid. De quoi rester optimiste.

L’avancement de la migration est à suivre sur « Status of Gnome 3.2 in Debian »

Les meilleures extensions pour Gnome Shell : installation facile

Un petit tour sur extensions.gnome.org pour installer facilement les extensions indispensables pour rendre Gnome Shell vraiment agréable à utiliser. De quoi faciliter un passage de Gnome 2 à Gnome 3 sans secousses.

Gnome Shell : des extensions à installer en un clic

Gnome.org a mis en place un gestionnaire d’extensions en ligne pour faciliter l’installation et la suppression des extensions sous Gnome Shell. Ca se présente exactement comme le gestionnaire d’extensions de Firefox. En un clic, on sélectionne l’extension et elle s’installe automatiquement. Un seul impératif, disposer de Gnome 3.2, ce qui est le cas pour Ubuntu 11.10.

Gnome Shell : retrouver les 3 boutons pour réduire ou agrandir les fenêtres

Par défaut, dans Gnome Shell, les fenêtres ne présentent plus qu’un unique bouton de fermeture en haut à droite, ce qui s’avère peu pratique quand on veut réduire rapidement une fenêtre. On va voir comment afficher les boutons Agrandir et Réduire pour retrouver nos marques et ne pas être complètement déstabilisé par Gnome Shell.

Gnome Shell 3.2 : raccourcis clavier et personnalisation

Quelques raccourcis pratiques pour prendre en main Gnome Shell 3.2. On retrouve la plupart des raccourcis habituels de l’environnement Gnome plus quelques nouveautés pour bénéficier rapidement des avantages de l’environnement Shell. On verra également comment personnaliser ses raccourcis clavier pour rendre l’interface encore plus fonctionnelle.