Nope, no need to set connman to default .... if network-manager doesn't come up then connman keeps on running.
Connman is the one that always runs and gets taken over by network-manager. You can check on your system if it's running with:
~ ❯❯❯ sudo service --status-all |grep connman
- resulting in:
[ + ] connman
Where you should see a + sign if it's loaded
If it isn't running (for some strange reason) you can enable it (permanently) with
"sudo systemctl enable connman.service"
- To see what it's up to, use:
"systemctl status connman.service"
To check wether network-manager is indeed turned off:
~ ❯❯❯ sudo service --status-all |grep network
Resulting in:
[ - ] network-manager
[ + ] networking
~ ❯❯❯
And of course, have "connman-gtk" installed for a GUI.
