From: heim@peanuts.informatik.uni-tuebingen.de (Gerald Heim) Subject: Re: No /usr/local please (Would you please Shut Up?) Date: 23 Sep 1992 15:35:57
hi netters
My opinion is that we should keep /usr/local
My reasons:
- /bin and /usr/bin are updated frequently (with changing shared libs,
a changing kernel and changin filesystms even more frequently)
- I want to install different software packages in different directories
and keep the /usr-tree still small. (like /usr/local/X11R5 or
/usr/local/tex and so on)
This makes even more sense if you use /usr/local/* as mountpoints.
- I dont't like directories with several hundred entries, like
/usr/bin would become (flame: why /usr/bin? we could throw all
binaries into /bin like it was on my first pc (c:\dos instead of /bin)
:-> )
- /usr/local/bin contains 50% symlinks to other places where
/usr/bin doesn't contain any symlinks.
(yes, I consider symlinks practical but harmful)
- ever thought of times when we will have toys like:
NFS ?
automounter for executables ?
think about it...
gjh