diff options
Diffstat (limited to 'sys/lib/dist.old/pc/inst/confignet')
| -rwxr-xr-x | sys/lib/dist.old/pc/inst/confignet | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/sys/lib/dist.old/pc/inst/confignet b/sys/lib/dist.old/pc/inst/confignet deleted file mode 100755 index 182ed40cb..000000000 --- a/sys/lib/dist.old/pc/inst/confignet +++ /dev/null @@ -1,67 +0,0 @@ -#!/bin/rc - -# prereq: configdist -# desc: configure the network to download the distribution - -switch($1){ -case checkready checkdone - if(! ~ $distisfrom net){ - confignet=notdone - export confignet - exit - } - if(~ $distisfrom net && ~ $netisfrom ppp ether){ - x=config$netisfrom - $x=done - config$netisfrom checkdone - confignet=$$x - export confignet - exit - } - confignet=ready - export confignet - exit - -case go - devs='' - if(test -d '#l/ether0' >[2]/dev/null) - devs=$devs^ether - if(test -f '#t'/eia? >[2]/dev/null) - devs=$devs^ppp - - switch($devs){ - case '' - echo - echo 'Could not find ethernet card nor serial port nor modem.' - echo 'Please use a local copy of the distribution archive.' - echo - netisfrom=none - - case ppp - echo - echo 'No ethernet card was detected, but there is a serial port or modem.' - echo 'We will configure PPP.' - echo - netisfrom=ppp - - case ether - echo - echo 'No serial port or modem detected, but there is an ethernet card.' - echo 'We will configure the ethernet.' - echo - netisfrom=ether - - case etherppp - echo - echo 'You can connect to the internet via' - echo 'a local ethernet or a dial-up PPP connection.' - echo - prompt 'Interface to use' ether ppp - netisfrom=$rd - } - - export netisfrom - if(~ $netisfrom ether ppp) - exec config$netisfrom go -} - |