Gnome Shell : liste d’extensions (mise à jour)
Je maintiendrai plus ou moins dans cette article une liste des extensions pour Gnome Shell, que j’ai installées sur ma session afin de rendre l’utilisation du GNOME un poil plus aisée et correspondant à mes manies assez envahissantes.