Archives de
Month: mars 2023

Extensions Gnome/Ubuntu

Extensions Gnome/Ubuntu

Suite a mon passage sur Ubuntu voici les extensions Gnome que j’utilise:

Media Control

Afin de pouvoir rapidement controller la lecture audio de Spotify ou d’un site web.

https://extensions.gnome.org/extension/4470/media-controls/

Media Control avec Spotify

gTile

Avec un grand écran, la chose qui me manquait le plus de Windows 11 c’était la possibilité de facilement agencé les fenêtres des logiciels. Grace a gTile je n’ai plus ce problème.

https://extensions.gnome.org/extension/28/gtile/

J’utilise les raccourci suivant:

RaccourciDescription
Super+Alt+KP_1Quart inférieur gauche de l’écran
Super+Alt+KP_2Moitié inférieure
Super+Alt+KP_3Quart inférieur droit
Super+Alt+KP_4Centre gauche
Super+Alt+KP_5Centre
Super+Alt+KP_6Centre droit
Super+Alt+KP_7Quart supérieur gauche
Super+Alt+KP_8Moitié supérieure
Super+Alt+KP_9Quart supérieur droit
Ceci est rapide a obtenir