Vous êtes ici

Blogs

Sélection "Harder Styles" : décembre 2022

Blog: 

👉 UK Hardcore, Happy Harcore, Freeform, Drum & Bass, Powerstomp, Breakbeat; etc.

Singles

Mixes

Sélection d'extensions GNOME : décembre 2022

Depuis de nombreuses années, parce qu'il est moderne, performant et reprend de bonnes idées de Windows ou MacOS X et innove sur certains points, GNOME est mon environnement de bureau au quotidien sous GNU/Linux.

S'il intègre de base tout ce qui peut être essentiel pour travailler ou se divertir, l'une de ses autres qualités est qu'il est extensible et donc améliorable quand on a plus d'expérience.

Voici donc une petite sélection d'extensions bien pratiques, dont on aurait tort de se priver. Le but n'étant pas non plus d'en maximiser le nombre, au risque de rendre le système moins stable. GNOME intègre de toutes façons de plus en plus de fonctions avec chaque nouvelle version !

Extension Description
Command Menu - Extensions GNOME Shell Plus besoin d'ouvrir un shell à tout bout de champ. Créez des commandes personnalisées accessibles rapidement depuis le menu Gnome
Fly-Pie - Extensions GNOME Shell Plus direct, plus joli, accédez à vos applications et commandes personnalisées directement depuis la position du pointeur de souris. Choisissez un bon raccourci pour l'ouvrir !
Emoji Selector - Extensions GNOME Shell Un indispensable pour être une star des réseaux sociaux. J"ai essayé des alternatives comme ibus-typing-booster, mais je reviens souvent à cette extension qui me semble plus intuitive.
Places Status Indicator - Extensions GNOME Shell Un autre indispensable pour accéder rapidement aux espaces de stockages et dossiers favoris
Weeks Start on Μonday ... - Extensions GNOME Shell Parce que c'est mieux lorsque les semaines commencent les lundis comme par chez nous quand on affiche le calendrier
Miniview - Extensions GNOME Shell Afficher en permanence en surimpression un écran miniature d'une autre application. Exemple : lire un vidéo avec VLC ou suivre un long traitement dans un shell tout en continuant à butiner dans son navigateur web favori

Sélection "Harder Styles" : novembre 2022

Blog: 

👉 UK Hardcore, Happy Harcore, Freeform, Drum & Bass, Powerstomp, Breakbeat; etc.

Singles

Mixes

Sélection "Harder Styles" : octobre 2022

Blog: 

👉 UK Hardcore, Happy Harcore, Freeform, Drum & Bass, Powerstomp, Breakbeat; etc.

Singles

Mixes

Pages

Subscribe to RSS - blogs