DNS settings in Linux are usually stored in /etc/resolv.conf file, you could basically just edit this file to change the DNS settings in any Linux systems. However, the change is not permanent, it will be overwritten by Network Manager when u reconnect