While changing the default DNS server, the devs ran into problems:
So this issue seems to be more complex. While skimming through the Settings-menu, I did not find an entry for changing the DNS server.
However I am aware of two ways to change the DNS-server that /e/ uses:
-
If your network-provider sends DNS-server IP-addresses by DHCP, then /e/ will use them.
-
If you setup a VPN connection for your device, you can instruct /e/ to use an alternative DNS-server in the server-VPN-configuration-file with the command
push "dhcp-option DNS IP-address"
.