Les meilleures extensions pour Gnome Shell : installation facile

Un petit tour sur extensions.gnome.org pour installer facilement les extensions indispensables pour rendre Gnome Shell vraiment agréable à utiliser. De quoi faciliter un passage de Gnome 2 à Gnome 3 sans secousses.
Pour profiter du site extensions.gnome.org, il faut au préalable vérifier votre environnement :

Environnement nécessaire :
– Gnome Shell version 3.2 au minimum, c’est la version présente dans Ubuntu 11.10.
Pour l’installer rapidement :

sudo apt-get install gnome-shell

– Gnome Tweak Tool : pratique pour lister et activer ou désactiver les extensions installées

sudo apt-get install gnome-tweak-tool

– Firefox avec son plugin Gnome Shell Integration

Les Extensions

Permet de prendre une capture d’écran limitée à une zone sélectionnée à la souris. Très pratique pour ne pas devoir refaire un découpage de l’image.

Cette extension nécessite l’affectation d’un raccourci clavier, par exemple : Super+Imp
Taper dans un terminal les commandes :

key='/apps/metacity/global_keybindings/run_command_10'
gconftool-2 -s --type string "$key" 'Print'

Ensuite, relancer le Shell (Alt+F2,r)

Utilisation:
Executer la combinaison Super(touche windows)+Impr
-le curseur passe en mode selection
-cadrer la capture en maintenant appuyé le bouton gauche de la souris
-relacher le bouton quand le cadrage est bon
-l’image capturée est stockée dans votre dossier Images

Permet d’ajouter les menus à la Gnome 2 dans la barre supérieure.

  • Permet de masquer automatiquement la barre supérieure du Shell
  • Un double clic sur la barre supérieure active ou désactive l’extension

  • Permet de facilement gérer des connexions distantes par ssh/telnet ou TSE.
  • L’extension ajoute un lanceur sur la barre des tâches
  • Pratique si vous devez gérer plusieurs machines à distance.

  • Ajoute le menu Eteindre au panneau de commandes de l’utilisateur

  • Très bonne intégration des lecteurs multimédia compatibles MPRIS2
  • Fonctionne avec Clementine, Banshee ou Rhythmbox.

Activer ou désactiver vos extensions

On utilise le gnome tweak tool. Dans le menu Shell Extensions, on retrouve la liste des extensions installées. Il ne reste plus qu’à les activer ou désactiver en un clic.

Désinstaller une extension

Utiliser le site extensions.gnome.org
Le menu « Installed Extensions » permet de les lister et de les désinstaller rapidement
En cas de problème, on peut toujours faire la désinstallation manuelle.

Désinstaller une extension manuellement

Si l’interface web ne permet pas de désinstaller correctement une extension, il reste la manière forte :
-dans un terminal, aller dans ~/.local/share/gnome-shell/extensions
– supprimer le dossier correspondant à l’extension :

cd ~/.local/share/gnome-shell/extensions
rm -rf autohidetopbar2@werewolves.us

-redemarrer Gnome Shell si nécessaire

Alt+F2, taper r puis Enter
Advertisements

Une réflexion au sujet de « Les meilleures extensions pour Gnome Shell : installation facile »

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s