network install fails to access mirror [SOLVED]

[Dave Howorth]

I wrote:
> Can I bring up a bash shell somehow (I tried CTRL/ALT/F2 with no response).

I discovered ALT-F2 & ALT-F4 ...

> I've booted into the installer and it says it has used DHCP
> successfully. It's now got to the stage of trying to contact a mirror
> and has offered me a choice of archive.ubuntu.com and
> gb.archive.ubuntu.com. It fails to contact either of those.

... and was able to see that the DHCP was messed up after all. So I've
set the network parameters by hand.

Cheers, Dave