Ubuntu 11.04 – Changer votre thème Gnome-Shell

Publié le 27 avril 2011 par Dictege

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