Modifier les signets/raccourcis de Gnome
Une petite astuce rapide mais que j’oublie à chaque fois que j’en ai besoin, donc je la note ici histoire de ne pas avoir à la rechercher trop loin. Comment modifier ou supprimer les raccourcis des connexions réseau créés lors de la configuration de connexion