Thank Greg Madden, Neal Hogan, H.S. and Liam O'Toole! IMO editting /etc/network/interfaces is neater than editting /etc/rc.local