Extension mediaplayer

L'astuce du jour consiste à intégrer un contrôleur de lecteur de musique dans le top panel de Gnome-Shell. Il suffit d'ajouter l'extensions gnome-shell-extensions-mediaplayer.

Une deuxième astuce pour le même prix, vous pouvez configurer vos extensions directement dans un browser à l'adresse https://extensions.gnome.org/local/.