Re: DNS name resolution not working in 10beta installer?

[Tom Lane <tgl%sss.pgh.pa.us@localhost>]

Martin Husemann <martin%duskware.de@localhost> 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