Customiser l’environnement Gnome
I. Présentation
Dans ce tutoriel, nous allons voir comment customiser l'environnement Gnome et plus précisément comment changer son thème. Un des grand avantages des bureaux Linux par rapport aux bureaux Windows est la possibilité de les personnaliser rapidement, notamment avec des thèmes faits par la communauté.
II. Trouver un thème
Différents thèmes peuvent être trouvés sur le net, notamment sur le site http://gnome-look.org
La seule chose à vérifier lorsqu'un thème nous intéresse, c'est la version avec la ou lesquelles il est compatible. On va donc commencer par voir la version que nous avons d'installé sur notre bureau. Cela peut se faire facilement en ouvrant en terminal puis en saisissant la commande suivante :
gnome-session --version
Voici le retour que j'ai sur mon environnement :
Sur gnome-look.org, il est donc important de vérifier que les thèmes soient compatibles avec les notres, souvent la notation 3.x ou 2.x est indiquée, comme ici (GTK 3.x) :
Pour que les choses soient plus simples, on peut sélectionner dans la colonne de droite, les thèmes compatibles avec le notre :
Pour le tutoriel, je choisi par exemple le thème suivant : http://gnome-look.org/content/show.php/DeLorean-Dark?content=153866
Nous allons donc le télécharger à l'aide d'un lien download présent généralement en bas de topic, on obtient généralement une archive au format ZIP qu'il est possible de décompresser avec la commande suivante :
unzip delorean_dark_1_55_by_killhellokitty-d59oyrd.zip
Une fois l'archive décompressée, il nous suffit de positionner le dossier dans le dossier des thèmes Gnome /usr/share/themes
mv delorean-dark /usr/share/themes
III. Personnaliser le bureau Gnome
Maintenant que nous avons trouvé et téléchargé un thème, il suffit d'aller le sélectionner dans la configuration de gnome, pour cela, on va saisir la commande suivante :
gnome-tweak-tool
Va alors apparaître une fenêtre nous permettant de personnaliser le bureau et l'interface Gnome. On se rend dans la partie "Thème" :
Puis on clique sur les différentes listes pour saisir le nom du thème que l'on vient de télécharger :
Si le nom du thème n’apparaît pas, vérifiez les droits d'accès au dossier dans /usr/share/themes et vérifiez bien que vous avez lancer gnome-tweak-tool avec votre utilisateur courant (celui avec lequel vous vous êtes authentifié sur l'interface Gnome). Car chaque utilisateur peut avoir un thème de bureau différent !
Dès que la sélection du thème sera faite dans la fenêtre, les changements s'appliqueront immédiatement, par exemple :
Notez qu'il est possible de complètement personnaliser image et thème, pour cela, il faut comprendre la structure des thèmes qui est principalement faite avec des CSS. Pour les curieux, vous pouvez explorer les différents thèmes téléchargés et par défaut dans /usr/share/themes.
