J'utilise depuis plusieurs années l'environnement de bureau GNOME Shell (sur Ubuntu) et j'ai trouvé de nombreuses extensions qui améliorent l'expérience.
lundi 16 juillet 2018
Mes extensions indispensables pour GNOME Shell
Par Alexis Lefebvre le lundi 16 juillet 2018, 23:17