Donc, vous avez installé votre tout nouvel environnement de bureau GNOME Shell et il a certainement l’air indiscutablement cool tel quel. L’utiliser pendant un certain temps peut cependant rendre ce panneau supérieur sexy terne et votre jeu d’icônes poussiéreux. Ce sont des signes qu’il est temps de changer, alors voici un guide sur la façon de changer rapidement (et facilement) l’apparence de votre bureau GNOME Shell en utilisant des thèmes rafraîchissants.
1.) Version du Shell
En premier lieu, vous devrez déterminer la version de GNOME Shell que vous utilisez. Ceci est d’une importance capitale car les extensions et les thèmes Shell nécessaires pour modifier l’apparence de votre bureau ne sont compatibles qu’avec une version particulière de votre environnement préféré. Les thèmes plus anciens peuvent fonctionner dans les versions GS plus récentes, mais ils seront affectés par des bogues et des incohérences ici et là. Vous pouvez savoir quelle version de GS vous utilisez en tapant la commande suivante dans un terminal : « gnome-shell -version »
2.) Tweak Tool
Le Tweak Tool est un logiciel essentiel qui permet aux utilisateurs de GNOME de manipuler des paramètres qui ne sont pas disponibles sur le centre de contrôle. Bien que cet outil fasse désormais partie de la pile officielle de GNOME, il se peut que vous ne le trouviez pas installé d’emblée sur votre distribution. Si ce n’est pas le cas, trouvez-le sous le nom de paquet « gnome-tweak-tool ». Si vous utilisez un dérivé d’Ubuntu, vous pouvez installer le paquet en ouvrant un terminal et en tapant : « sudo apt-get install gnome-tweak-tool ».
sudo apt-get install gnome-tweak-tool
3.) Extension « User Theme »
Afin de permettre la thématisation de votre bureau, vous devrez installer l’extension « user themes » et l’activer depuis l’onglet correspondant sur le Tweak Tool, comme le montre la capture d’écran ci-dessous. Cette extension sera soit installée avec le paquetage du Tweak Tool, soit disponible dans les sources logicielles de votre distribution. Si ce n’est pas le cas, vous pouvez toujours la trouver sur le site officiel des extensions GNOME Shell (https://extensions.gnome.org/) ou directement depuis git (https://git.gnome.org/browse/gnome-shell-extensions). Assurez-vous de télécharger la bonne version depuis git et décompressez le fichier sur /.local/share/gnome-shell/extensions/. Vous pouvez ensuite activer l’extension en utilisant l’outil tweak.
Si vous utilisez un dérivé d’Ubuntu mais que vous ne trouvez pas l’extension du thème utilisateur dans vos sources par défaut, vous pouvez toujours ajouter un dépôt qui contient les paquets dont vous avez besoin. Un exemple serait d’utiliser le dépôt suivant : « sudo add-apt-repository ppa:webupd8team/gnome3 » puis « sudo apt-get update » et vous devriez maintenant être en mesure de localiser le paquet susmentionné en utilisant le centre logiciel.
4.) Choisissez le thème
Il existe d’innombrables thèmes de GNOME Shell à couper le souffle qui attendent que vous les découvriez. Vous devez cependant garder un œil sur la compatibilité de leurs versions GS afin de vous assurer que les solides caractéristiques de fonctionnement de votre système ne seront pas affectées. Les deux sites les plus fréquentés sont le gnomelook (http://gnome-look.org/?xcontentmode=191) et une section dédiée à GS dans DeviantArt (http://www.deviantart.com/browse/all/customization/skins/linuxutil/desktopenv/gnome/gnome/?order=5). Il existe d’autres endroits où l’on peut trouver de bons thèmes GS et une simple recherche sur Google en révélera beaucoup. Parallèlement au thème Shell de votre choix, vous pouvez également télécharger son thème GTK+ correspondant tandis que certains artistes proposent également des jeux d’icônes pour compléter joliment leurs créations.
5.) Activez le thème
Maintenant, tout ce que vous avez à faire est d’ouvrir à nouveau le Tweak Tool et d’aller dans l’onglet « Apparence ». Appuyez sur le bouton « locate » et recherchez le thème téléchargé. Cela devrait installer votre nouveau thème dans le répertoire approprié (/.themes/). Vous pouvez ensuite choisir le thème dans le menu des options du même onglet. Dans mon exemple, j’ai activé le merveilleux thème Numix GS et GTK+, tandis que j’ai également changé le jeu d’icônes pour correspondre au nouveau look de mon bureau !
6) Liens
- Gnome Desktop
.