https://www.expressvpn.com/no/support/troubleshooting/set-dns-servers-for-linux/
DNS server configuration – Linux