Comme promis lors de l’installation de Gnome 3.4, Cet article présente une manière de paramétré Gnome avec l’utilitaire Gnome Tweak Tool. Si vous avez utilisé Gnome 3, sûrement vous avez remarqué qu’il ne fournie aucune application pour la gestion des paramètres de base tel que la modification des thèmes (Gnome Shell ou même GTK) ou des icônes et des extensions.
Heureusement Gnome Tweak Tool est là pour bannir les problèmes de paramétrage de Gnome. Ainsi, Gnome Tweak Tool permet de :
- Activer/désactiver le menu et les icônes des boutons des fenêtres (minimiser, agrandir)
- Changer les thèmes GTK et Gnome Shell
- Modifier les polices
- Gérer les extensions Gnome
L’application est disponible dans le dépôt officiel d’Ubuntu pour Gnome et donc pour l’installer il suffit d’utiliser la commande :
Installer les extensions
Gnome 3 a introduit la notion d’extension (ne compliquer pas trop les choses c’est la même notion que pour Firefox) permettant de mieux personnaliser l’environnement de travail selon préférence de chaque utilisateur.
Il est possible d’installer une extension depuis du site officiel des extensions de Gnome : https://extensions.gnome.org/
Également, plusieurs dépôts contiennent des extensions Gnome tel que ppa:ricotz/testing qui contient les extensions :
- Statut alternatif de menu
- Indicateur d’espace de travail
- Moniteur de système
- Indicateur de l’état des lieux
Par exemple, Pour installer ces extensions essayer les commandes suivantes :
sudo apt-get update
sudo apt-get install gnome-shell-extensions
Pour que l’environnement Gnome prenne en considération ces extensions, il faut le redémarrer en faisant la combinaison « Alt + F2 » puis saisir « r » et validé.
A partir de menu « Shell extensions » de l’application Gnome Tweak Tool, il est possible de lister les différentes extensions installer et également les activer/désactiver.
Faut il vraiment porter des lunettes, pour travailler la nuit, sur un terminal vert sur noire, pour être Geek pour devenir root ? 
J’ai un problème, ça me met que la connection est fermée
Quelqu’un a la solution ?
Bonjour,
Désolé pour ma réponse tardive (j’ai été en congé). Est ce que tu t’es pas déconnecté du réseau Internet?
Bonjour,
Le post date mais j’expose ma situation; j’ai upgradé de squeeze à stable (wheezy). Je suis sous gnome 3.4 et le noyau xen 4.1. J’ai des alternances entre une session fonctionnelle et des fois majeures où qq tps après le login seule la souris peut naviguer mais je n’accède à aucune fenêtre ni par le clavier. Je suis obligé de hard reboot.
Je ne trouve aucun post relatant ce comportement pourtant sur stable depuis avril 2013 avancé.
Aurais-tu une idée?