harvey/rc/bin/ipconf/inside

#!/bin/rc

ip/ipconfig

# supply unknowns with inside addresses
if( ! grep -s 'auth=' /net/ndb){
	echo '	auth=135.104.9.7'>>/net/ndb
	echo '	authdom=cs.bell-labs.com'>>/net/ndb
}
if( ! grep -s 'ntp=' /net/ndb)
	echo '	ntp=135.104.9.2'>>/net/ndb
if( ! grep -s 'dns=' /net/ndb){
	echo '	dns=135.104.8.38'>>/net/ndb
	echo '	dns=135.104.70.11'>>/net/ndb
}

# start dns if it isn't already going
if(! test -e /srv/dns )
	ndb/dns -r