Martin Husemann <[email protected]> writes: > When it doesn't work, please ^Z sysinst and check ifconfig output > and cat /etc/resolv.conf.
Bingo. ifconfig is okay, but /etc/resolv.conf is not: it ignored
the DNS server address I told it to use, and used the one that
autoconfiguration had discovered. I've filed PR install/57244
for this. Thanks for the help!
regards, tom lane
