Re: Stretch net install on EeePC - unable to resolve mirror host address

[Reco <recoverym4n@gmail.com>]

	Hi.

On Sat, Feb 17, 2018 at 04:20:06PM +0100, Roger Price wrote:
> I am trying to net install stretch i386 on an EeePC using a wired
> connection. I chose my ISP as the mirror, but the installation hangs on
> "Configure the packet management tool (APT)" [french text reads "Configurer
> l'outil de gestion des paquets (APT)"].
> 
> I checked on my regular box that stretch i386 is available at debian.proxad.net
> 
>  rprice@maria ~ wget --no-verbose
>    http://debian.proxad.net/debian/dists/stretch/Release -O - | grep -E
>    '^(Suite|Codename|Architectures):'
>  Suite: stable
>  Codename: stretch
>  Architectures: amd64 arm64 armel armhf i386 mips mips64el mipsel ppc64el s390x
> 
> but on the EeePC with Ctl-Alt-F3 I get
> 
>  ~ # wget --no-verbose
>    http://debian.proxad.net/debian/dists/stretch/Release -O - | grep -E
>    '^(Suite|Codename|Architectures):'
>  wget: unable to resolve host address 'debian.proxad.net'
> 
> Command « ip address » shows that the EeePC has been assigned the correct IP
> address 10.218.0.100, and /etc/resolv.conf correctly points to the router as
> the DNS resolver:
> 
>  ~ # cat /etc/resolv.conf
>  search rogerprice.org
>  nameserver 10.218.0.1
> 
> I am using the same router and the same name server to post this message.
> Any suggestion or hint for fixing the installation would be most welcome,

First, please don't get me wrong, but can you provide the output of
(regular box, of course):

wget -S --spider https://wiki.debian.org

There have been some reports from people using your ISP that this page
does not work for them somehow, and I'm too lazy to travel to France to
check it out :)

Returning to your problem, I'd like to propose using Debian LiveCD [1]
on the problematic EeePC as LiveCD has some proper network
troubleshooting tools, namely tcpdump.

An file produced by:

tcpdump -w /tmp/proxad.pcap -ni any udp port 53 or udp port 5353 \
	or tcp port 80

while running 

wget http://debian.proxad.net/debian/dists/stretch/Release -O /dev/null

would be invaluable in solving this out.

[1] http://www.debian.org/CD/live

Reco