Joe Schmoe wrote:Two questions:
- What is the magic syntax to put in this file so that wlan0 will use a given DNS instead of whatever the ISP hands out? The problem we are trying to fix is that the DNS set by the ISP is trash (doesn't work). I want to force it to use 8.8.8.8
- Where is this language (the language of the "interfaces" file) documented?
1. I think it would be better if you could describe your system deployment so that we could give an answer, such as if there would be an wireless router that dial to ISP via PPPOE ? As the only information about your deployment is the interface name "wlan0", I suggest that your Pi connect to an access point via wireless. You may configure that access point (maybe a router?) to use static DNS. The Pi itself read /etc/resolv.conf to determine DNS, however many program could overwrite this file to give you a particular DNS from some providers, such as pppd would do so to set DNS to the ISP provided one. Maybe a dirty solution is to edit /etc/resolv.conf to 8.8.8.8 and make it read-only. We need more information about how you connect to ISP to tell a cleaner answer.
2. There is a man page which you could read via command "man interfaces".