3 # desc: configure the network
6 case checkready checkdone
12 if(~ $netisfrom ppp ether){
15 ./config$netisfrom checkdone
26 if(test -d /net/ether0 >[2]/dev/null)
28 if(test -f /dev/eia? >[2]/dev/null)
34 echo 'Could not find ethernet card nor serial port nor modem.'
40 echo 'No ethernet card was detected, but there is a serial port or modem.'
41 echo 'We will configure PPP.'
47 echo 'No serial port or modem detected, but there is an ethernet card.'
48 echo 'We will configure the ethernet.'
54 echo 'You can connect to the internet via'
55 echo 'a local ethernet or a dial-up PPP connection.'
57 prompt -d ether 'Interface to use' ether ppp
62 if(~ $netisfrom ether ppp)
63 exec ./config$netisfrom go
65 if(! test -f /srv/cs && ! test -f /net/cs)
67 if(! test -f /srv/dns && ! test -f /net/dns)