On Tue, Oct 24, 2000 at 12:44:04AM -0400, Scott V. McGuire wrote: :Sharing /home isn't so hard if there are only a few users. I do it at :home where there is just me and (occasionally) my wife. : :I have thought of sharing /opt and perhaps /usr/local, but have been :worried that in addition to the stuff that I install by hand some rpms :or debs will put stuff there. I don't want to mix that stuff.
Official debian packages will not put anything in /usr/local, RPMs often do. This is actually one of the reasons I'm so fond of Debian over RH. This use of /usr/local by the packaging system bites alot of people on my net, because root on local machines doesn't have write access to the NFS mounted /usr/local partition... Note I've run across some .deb packages out side "official" channels that do try to write to /usr/local. Just an aside, -jon
