On Tue, 25 Mar 1997 16:41:14 -0500 
 Bill Sommerfeld <sommerfeld@orchard.east-arlington.ma.us> wrote:

 > What's the difference between /opt and /usr/opt?  If there isn't any,
 > why reinvent the wheel differently?

Yah, I guess /opt would be OK, but I'd rather the things default
to going into /usr, in the event the user didn't mount another
file system there.

Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939