Yeah -- maybe pointless. Dave is going over other things instead, and I'm sure 
he'll get to whatever it is in due course of time.

"sudo port install gnome" is broken, but no doubt that'll be fixed in time.

K

Reply via email to