How to change DNS servers on a GNOME-based Linux distribution (and why you should)

If your ISP’s DNS servers are either too slow or insecure, it’s easy enough to change them. If your desktop is GNOME, here’s how to do it.