Gnome : Mes extensions

2 novembre 2019 (màj : 5 novembre 2019)
16

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