mirror of
https://github.com/almet/notmyidea.git
synced 2025-04-28 19:42:37 +02:00
47 lines
1.9 KiB
ReStructuredText
47 lines
1.9 KiB
ReStructuredText
Gnome 3, extensions
|
|
###################
|
|
|
|
:date: 27-12-2012
|
|
:tags: note
|
|
:category: tech
|
|
|
|
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.
|