mirror of
https://github.com/almet/notmyidea.git
synced 2025-04-28 19:42:37 +02:00
- Added the ability to display book cover for the category "Lectures" if ISBN cover is available. - Moved author's name into a small tag for better hierarchy and readability. - Implemented a feature to indicate link sizes depending on the number of articles associated with a given tag. - Implemented a mini footer element displaying an RSS feed icon. - Improved category display using description dictionary. - Added a new plugin "isbn_downloader" to fetch ISBN information when needed. - Included the count of articles for each category. - Implemented changes for better layout and readability of tags and categories. - Adjusted the layout of the webpage, improving the overall look of the page. - Included "requests" in the requirements.txt for supplanting dependencies required by the new plugin and/or features.
41 lines
1.9 KiB
Markdown
41 lines
1.9 KiB
Markdown
# 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.
|