Installer les extensions sur un environnement Gnome-Shell peut s'avérer très utile pour personnaliser son espace de travail.

Un précédent article parle déjà de ces fameuses extensions pour le Shell proposé par le projet Gnome. Il existe désormais (et depuis quelques temps) une méthode beaucoup plus simple.