# Gnome 3, extensions

Après avoir tenté pendant un bout de temps unity, le bureau par defaut
de ubuntu, j'ai eu envie de changements, et j'ai donc essayé un peu de
regarder du coté de gnome 3, à nouveau.

Et finalement, j'ai trouvé quelques extensions qui sont vraiment utiles,
que je liste ici.

  - [Antisocial
    Menu](https://extensions.gnome.org/extension/547/antisocial-menu/)
    vire les boutons et textes en rapport avec le web social. J'en avais
    pas besoin puisque je suis connecté à mon instant messenger dans un
    terminal, en utilisant weechat.
  - [Coverflow
    Alt-Tab](https://extensions.gnome.org/extension/97/coverflow-alt-tab/)
    change le switcher d'applications par defaut. Je le trouve bien plus
    pratique que celui par defaut puisqu'il me permet de voir "en grand"
    quelle est la fenêtre que je vais afficher.
  - [Media player
    indicator](https://extensions.gnome.org/extension/55/media-player-indicator/)
    me permet de voir en temps réel ce qui se passe dans mon lecteur
    audio. Ça semble ne pas être grand chose, mais ça me manquait. Ça
    s'intègre niquel avec Spotify, et ça c'est chouette.
  - [Rechercher dans les bookmarks
    firefox](https://extensions.gnome.org/extension/149/search-firefox-bookmarks-provider/)
    permet de… à votre avis ?

Un peu moins utile mais sait on jamais:

  - “[Advanced Settings in
    UserMenu](https://extensions.gnome.org/extension/130/advanced-settings-in-usermenu/)”
    permet d'avoir un raccourci vers les paramètres avancés dans le menu
    utilisateur (en haut à droite)
  - Une [intégration à Getting things
    Gnome](https://extensions.gnome.org/extension/409/gtg-integration/)
    (un truc de GTD). Je suis en train d'expérimenter avec cet outil,
    donc je ne sais pas encore si ça va rester, mais pourquoi pas.

Vous pouvez aller faire un tour sur <https://extensions.gnome.org/> pour
en trouver d'autres à votre gout.
