On Sun, 16 Nov 2003, Hrvoje Niksic wrote: > > You can do this now: > > > > wget http://216.46.192.85/ > > > > Using DNS is just a convenience after all, not a requirement. > > Unfortunately, widespread use of name-based virtual hosting made it a > requirement in practice. ISP's typically host a bunch of web sites on > the same interface, and http://DOTTED-DECIMAL-ADDR will get you a > default page, if even that.
Hmm, couldn't --header "Host: <hostname>" work? I think it could, but now wget appends it instead of replacing its own generated one... -- + Maciej W. Rozycki, Technical University of Gdansk, Poland + +--------------------------------------------------------------+ + e-mail: [EMAIL PROTECTED], PGP key available +