From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <1b89fb9b2c22e6b7351e3be528134b94@quintile.net>
From: "Steve Simon" <steve@quintile.net>
Date: Wed,  4 Jan 2017 23:20:19 +0000
To: 9front@9front.org, 9fans@9fans.net
In-Reply-To: <8981471e80e3938f4d3dc68ee77a876f@felloff.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] [9front] DHCP not working on usb ethernet dongle
Topicbox-Message-UUID: b12a628a-ead9-11e9-9d60-3106f5b1d025

Its not the same problem, but just in case it helps,
adding a second usb ether adapter onto a raspberry pi,
which runs the labs distro not 9front.

I need to add
	ether1=type=usb
to cmdline.txt

and then add the following to /cfg/$sysname/termrc

	if(! ~ `{cat '#l1/ether1/addr'} 000000000000){
		echo ether1: present
		bind -b '#l1' /net.alt
		bind -b '#I1' /net.alt
		ip/ipconfig -x /net.alt ether /net.alt/ether1
		ndb/cs -x /net.alt
		ndb/dns -x /net.alt -r
	}
	if not {
		echo ether1: missing
	}

this worked seamlessly once I got a supported, and reliable ethernet dongle.
I tried a couple of chinese ones but settled on an apple one which is well
manufactured (perhaps I was just unlucky).

All kudos to Richard Miller who helped me through this.

-Steve