Étiquette : gnome shell

Aujourd’hui je vais vous présentez les extensions que j’utilise sur mon poste. Pour commencer voici Docker Intégration cette extension permet en un clic de souris voire si un conteneur docker est en cours d’utilisation et ainsi le manager si besoin. C’est toujours efficace et utile de pouvoir créer des raccourcis pour les sites que l’on…
Lire la suite