4 # desc: configure the network to download the distribution
7 case checkready checkdone
8 if(! ~ $distisfrom net){
13 if(~ $distisfrom net && ~ $netisfrom ppp ether){
16 config$netisfrom checkdone
27 if(test -d '#l/ether0' >[2]/dev/null)
29 if(test -f '#t'/eia? >[2]/dev/null)
35 echo 'Could not find ethernet card nor serial port nor modem.'
36 echo 'Please use a local copy of the distribution archive.'
42 echo 'No ethernet card was detected, but there is a serial port or modem.'
43 echo 'We will configure PPP.'
49 echo 'No serial port or modem detected, but there is an ethernet card.'
50 echo 'We will configure the ethernet.'
56 echo 'You can connect to the internet via'
57 echo 'a local ethernet or a dial-up PPP connection.'
59 prompt 'Interface to use' ether ppp
64 if(~ $netisfrom ether ppp)
65 exec config$netisfrom go