Installer facilement les extensions Gnome Shell sur Ubuntu 11.10

WebUpd8 continue de travailler pour nous fournir une version de Gnome Shell complète pour Ubuntu 11.10 Oneiric. Cette fois-ci il met à disposition sur sont dépôt PPA les versions des extensions GNOME Shell  en version 3.2.0.

Voici la liste des extensions les plus connues :

• alternate-tab : Permet de retrouver le classique Alt+Tab.
• alternative-status-menu : Permet de retrouver un menu complet avec l’option .
• auto-move-windows : Permet de gérer plus facilement les espaces de travail.
• dock : Affiche un dock à la droite de l’écran (toujours présent).
• gajim : Intégration de Gajim
• user-theme : Les thèmes utilisateurs présent dans le dossier ~/.themes//gnome-shell.
• windowsNavigator : Permet la sélection des fenêtres et espace de travail via le clavier.

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-alternate-tab gnome-shell-extensions-alternative-status-menu gnome-shell-extensions-user-theme gnome-tweak-tool gnome-shell-extensions-workspace-indicator  gnome-shell-extensions-apps-menu gnome-shell-extensions-drive-menu gnome-shell-extensions-system-monitor gnome-shell-extensions-places-menu gnome-shell-extensions-dock gnome-shell-extensions-native-window-placement gnome-shell-extensions-gajim gnome-shell-extensions-xrandr-indicator gnome-shell-extensions-windows-navigator gnome-shell-extensions-auto-move-windows

Une fois installées il suffit de recharger Gnome-Shell via la séquence de touches [ALT] + [F2] puis entrez r et validez. Vous pouvez ensuite activer ou désactiver les extensions via l’outil GNOME Tweak Tool.

Attention: Certaines extensions Gnome Shell peuvent faire planter Gnome Shell. Pour résoudre ce problème après vous être connecté appuyez sur les touches [CTRL] + [ALT] + [F2]

cd ~/.local/share/gnome-shell /extensions

Et supprimer l’extension à l’origine du plantage de Gnome Shell

rm-r extension_folder

Appuyez sur CTRL + ALT + F7 et connectez vous a nouveau.

Plus d’infos sur : Configurer Gnome Shell

Related posts:

1. GNOME Shell 3.1.91.1 apporte l’installation des extensions en un seul clic
2. Ubuntu 11.04 – Changer votre thème Gnome-Shell
3. Le Menu cardapio disponible pour gnome Shell
4. GNOME Shell Google Calendar
5. Un Thème Gnome Shell Adwaita pour Google Chrome

2 Commentaires

1. Sasuke (1 comments) dit :

   7 novembre 2011 à 1 h 30 min

   Salut, petite variante pour désinstaller une extension qui plante, chez moi c’était :
   cd /usr/share/gnome-shell/extensions/
   Puis un petit sudo rm -rf NOM_EXTENSION

   Répondre
2. cdg (1 comments) dit :

   1 avril 2012 à 9 h 48 min

   je dois avoir manque quelque chose mais dans mon cas, j ai rien qui s affiche dans gnome tweak tool dans la rubrique shell extension …
   pourtant les fichiers sont bien dans /usr/share/gnome-shell/extensions/
   et je suis bien avec la version ubuntu 11.10

   quelqu un a une idee pourquoi ?

   Répondre