I'm trying to install debian using the net installer. I arrived to the stage where I have to choose a mirror. I've tried several mirrors, and all of them resulted in a "Bad archive mirror" error. As I'm using the graphical installer, I used Ctrl+Left Alt+F2 to access the console and check whether my internet connection works.
Pinging an IP address (126.96.36.199) works. DNS apparently doesn't (google.com).
So I guess that the installer cannot find the mirrors, as they are all listed by their URIs.
Is there a possibility to give an IP address to the installer to use as a mirror? Or is it possible to (at least temporarily) set 188.8.131.52 as my DNS just for the purpose of downloading the necessary files for the install?
I'm halfway through the install process, and a lot of things don't work yet. I can't even access the manpages.
(Strangely, any device I connect to the LAN cable I'm using, works without a problem, I don't have to configure any network settings. Be it a Windows machine, Linux, or even an embedded Raspberry Pi, I just connect them and I can start browsing the web. So I don't know why the debian installer cannot find a working dns.)