Sélecteur de thème pour Gnome-shell
Fpmurphy a récemment crée une extension pour gnome-shell permettant de sélectionner facilement un thème pour gnome-shell.
Bouleetbil l’a packagé pour Frugalware current depuis quelques jours.
Tout d’abord installez l’extension:
# pacman-g2 -S gnome-shell-theme-selector
Ensuite en tant qu’utilisateur vos thèmes gnome-shell doivent se trouver dans ~/.themes.
Relancez gnome-shell, puis allez dans le menu Activités vous verrez un nouveau sous-menu nommé Themes:
Et voilà vous n’avez plus qu’à choisir votre thème