Gnome 3, extensions
###################

:date: 27-12-2012
:tags: note

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.
