Gnome : Mes extensions

2 novembre 2019
3 janvier 2020
72

Introduction


Gnome permet d'ajouter des extensions assez facilement et il en existe de nombreuses par ici : extensions.gnome.org

Mes extensions


- Dash to Dock
- AppIndicator
- Soft brightness
- Launch new instance