No DHCP server available for install.
This is my first linux install from FTP, and I'm running into a problem right at the beginning. I boot from the 9.2 mini-installation ISO, get a printout of the NIC's mac address, then the install hangs on searching for a DHCP server, eventually restarting the machine. I'm assuming that it's waiting for an IP to be assigned - the problem is that on my Uni department's network, there is no DHCP server. Network access is only possible through assigned IPs.
Is there any way to get around this DHCP search and enter my assigned IP manually?