Since I’ve been really astonished from the difficulties I’ve had searching for this on the web lately, I’m writing this (really short) blog post hoping to save other people’s time.
If you want to change the DNS server of the default Raspbian installation on a raspberry PI – this probably goes for most of the recent linux distributions too – you just have to edit your /etc/network/interfaces file specifying, under the desired interface, this code:
dns-nameservers 8.8.8.8
Of course replace 8.8.8.8 with your desired DNS server’s IP address.
That’s all.
See you in the next very exciting post!