Voici une des premières extension de GNOME-Shell, ThemeSelector, qui permet de changer de thème en toute simplicité.
ThemeSelector ajoute un nouvel onglet dans la vue des activités et permet de visualiser tous les thèmes GNOME Shell installé sous dans votre répertoire personnel ~/.local/share/gnome-shell/. Pour changer il suffit simplement de cliquer sur celui de votre choix et il devient actif immédiatement sans à vous déconnecter de votre session.
Pour utiliser cette extension, il faut installer GNOME Shell Extensions et GNOME Shell User Theme extension.
cd git clone http://git.gnome.org/browse/gnome-shell-extensions cd gnome-shell-extensions ./autogen.sh --prefix /usr --enable-extensions=user-theme sudo make sudo make install
Il faut ensuite installer l’extension Themeselector qui est livré avec 5 thèmes GNOME Shell. Une fois téléchargé il sufiit d’extraire son contenu dans le répertoire ~/.local/share/gnome-shell/. Si ce répertoire n’existe pas il suffit de le créer :
mkdir -p ~/.local/share/gnome-shell/
Quitter votre session GNOME Shell et recconectez vous, vous devriez avoir un nouvel onglet thèmes dans la vue des activités.
Source : webupd8.org