allow changing DNS when using DHCP

    When i use DHCP and then try to change the DNS it says its forbidden, which is a bit odd. Unfortunately, in my country we are sometimes forced to use a different DNS server than the one that is sent by the proprietary router (where nothing like dns is configurable).

    Code
    connmanctl config <service_name> --nameservers 8.8.8.8 1.1.1.1

    The GUI is probably coded around the concept of mutually exclusive DHCP or Manual connection. See if you can set it from the CLI?

    i can set it from cli, yes, but cli is not an option for "regular" users. i can do that for myself, but when my little sis asks me "how can i do that?" (because she gets blocked because or her ISP), then she has 0 chance to change anything thats not changable from UI.

    There are RFCs out there that mention that DHCP DNS settings must not be forced and user overrides should be accepted (something like that...), so imo this would be a reasonable and nice feature