J'ai installé network-manager-openconnect-gnome, mais il n'y a pas d'option pour OpenConnect dans Network Manager. Si je cours
sudo openconnect vpn.work.com
Et entrez mes coordonnées, je peux me connecter à mon VPN professionnel, donc openconnect est installé et fonctionne, mais il n'apparaît tout simplement pas dans Network Manager.