Vox Populi, vox Dei…

Bon. J’ai décidé d’écouter les retours sur le changement de thème du blog. Ils ont été majoritairement négatifs, j’ai donc décidé de revenir à l’ancien thème avec un changement de taille. J’ai changé l’image d’accueil, car l’autre me sortait par les yeux, au fil des années.

Maintenant, je pense que les commentaires seront positifs. Je les attends donc avec impatience.

Sur ce, bonne fin de journée.

Un petit rafraichissement d’apparence, ça fait jamais de mal.

Cela fait des années que le blog n’avait pas bougé au niveau apparence générale. C’est avec l’arrivée sans encombres de la version 7.1 de WordPress que j’ai décidé de changer de thème. Mon blog utilise désormais le thème Twenty Seventeen en lieu et place du Twenty Sixteen qui a fait son temps.

La seule différence notable est qu’il faut cliquer sur le titre de l’article pour accéder à la section commentaires. Sinon, le reste de l’ergonomie est restée. J’ai cependant conservé l’ancien thème au cas où par sécurité.

Dites-moi donc en commentaires de ce que vous pensez de cette nouvelle apparence. Merci 🙂

Petit guide pour changer le thème de Gnome-Shell

Ce matin, sur Google+, un lien a été posté vers un thème très sympathique pour Gnome-Shell, le thème Nord. Je donne le mode d’emploi pour Archlinux, les instructions pouvant se transférer vers une autre distribution sans trop de problème.

L’installation a été assez simple, bien qu’encore un peu longue à faire. Pour installer le thème, il faut commencer par installer le paquet ttf-google-webfonts (qui contient la fonte droid), paquet quand même assez lourd, car il pèse plus de 20 Mo.

Ensuite, il faut avoir installer sur sa machine le duo gnome-tweak-tool et l’extension gnome-shell-extension-user-theme.

Pour archlinux :

yaourt -S gnome-tweak-tool gnome-shell-extension-user-theme

Ensuite, on dépaquette le thème nord dans le répertoire .themes à la racine du compte utilisateur.

On lance gnome-tweak-tool, et dans la section « extensions », on active l’extension qui permet de gérer les thèmes multiples.

Après, on va dans les options de thème, et on sélectionne le thème qu’on veut appliquer.

Enfin, on utilise le raccourci clavier ALT+F2, et on saisit « r » pour relancer Gnome-Shell. Et voila le résultat. Sympathique, non ? 🙂