mirror of
https://github.com/almet/notmyidea.git
synced 2025-04-29 03:52:38 +02:00
71 lines
No EOL
3 KiB
HTML
71 lines
No EOL
3 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<title>Gnome 3, extensions - Alexis Métaireau</title>
|
|
<meta charset="utf-8" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
<link rel="stylesheet" href="https://blog.notmyidea.org/theme/css/main.css" type="text/css" />
|
|
<link href="https://blog.notmyidea.org/feeds/all.atom.xml" type="application/atom+xml" rel="alternate" title="Alexis Métaireau ATOM Feed" />
|
|
</head>
|
|
<body>
|
|
<section id="links">
|
|
<li>
|
|
<a class="" href="https://blog.notmyidea.org/" id="site-title">Blog</a>
|
|
</li>
|
|
<li><a class="" href="https://blog.notmyidea.org/pages/projets.html">Projets</a></li>
|
|
</section>
|
|
|
|
|
|
|
|
|
|
|
|
<header>
|
|
<h1 class="post-title">Gnome 3, extensions</h1>
|
|
<time datetime="2012-12-27T00:00:00+01:00">27 décembre 2012</time>
|
|
|
|
|
|
</header>
|
|
<article>
|
|
|
|
<p>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.</p>
|
|
<p>Et finalement, j'ai trouvé quelques extensions qui sont vraiment utiles,
|
|
que je liste ici.</p>
|
|
<ul>
|
|
<li><a href="https://extensions.gnome.org/extension/547/antisocial-menu/">Antisocial
|
|
Menu</a>
|
|
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.</li>
|
|
<li><a href="https://extensions.gnome.org/extension/97/coverflow-alt-tab/">Coverflow
|
|
Alt-Tab</a>
|
|
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.</li>
|
|
<li><a href="https://extensions.gnome.org/extension/55/media-player-indicator/">Media player
|
|
indicator</a>
|
|
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.</li>
|
|
<li><a href="https://extensions.gnome.org/extension/149/search-firefox-bookmarks-provider/">Rechercher dans les bookmarks
|
|
firefox</a>
|
|
permet de… à votre avis ?</li>
|
|
</ul>
|
|
<p>Un peu moins utile mais sait on jamais:</p>
|
|
<ul>
|
|
<li>“<a href="https://extensions.gnome.org/extension/130/advanced-settings-in-usermenu/">Advanced Settings in
|
|
UserMenu</a>”
|
|
permet d'avoir un raccourci vers les paramètres avancés dans le menu
|
|
utilisateur (en haut à droite)</li>
|
|
<li>Une <a href="https://extensions.gnome.org/extension/409/gtg-integration/">intégration à Getting things
|
|
Gnome</a>
|
|
(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.</li>
|
|
</ul>
|
|
<p>Vous pouvez aller faire un tour sur <a href="https://extensions.gnome.org/">https://extensions.gnome.org/</a> pour
|
|
en trouver d'autres à votre gout.</p>
|
|
</article>
|
|
|
|
</body>
|
|
</html> |