Re: Where to install to

[Tomas Ogren <stric ing umu se>]

On 16 December, 1998 - Charles Collicutt sent me these 0.9K bytes:

> On Tue, 15 Dec 1998, Gleef wrote:
> > The biggest benefit of installing in /opt/gnome allows all of the GNOME
> > stuff gets put together in one place, without cluttering up the other
> > things you need to manage in /usr/local.  You can easily add or remove
> > GNOME to paths, ld.so.conf, etc without harming any other programs.
> > 
> > Furthermore, once GNOME has full /opt support (i.e. /etc/opt/gnome rather
> [SNIP]
> 
> Thanks. I have a 2GB partition mounted at /usr while the partition
> mounted at / is only about 300MB. I'll just put everything in
> /usr/local/gnome for now I think... once I can eventually stop using Win95
> I can wipe that partition (~1.5GB) and use it for linux too - mounted at
> /opt perhaps :)

lrwxrwxrwx   1 root     root            8 May  6  1997 /opt -> /usr/opt/

Problem solved. 8)

/Tomas
-- 
Tomas Ögren, stric@ing.umu.se, http://www.ing.umu.se/~stric/
|- Student of Computer Science at the University of Umeå
`- Sysadmin at {ing,acc}.umu.se