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