Re: /usr/share/ and /usr/local/share/
>>>>> "Yann" == Yann Dirson <dwitch@monge.univ-mlv.fr> writes:
Yann> That's one point. The other one is about locally-maintained
Yann> files of the same sort of those that go under /usr/share/.
Yann> Should they go in /usr/share/ too, or would it be allowed to
Yann> place them in a directory that is known to contain local stuff,
Yann> ie. /usr/local/. In the latter case, I think the proper place
Yann> to put them would be /usr/local/share/ as well.
Absolutely. When compiling autoconf'ed stuff, it is nice to say
--prefix=/usr/local
and this will (normally) put share'd stuff into /usr/local/share.
We should definitely think in *prefixes* (ie. /usr vs /usr/local) more
than in absolute paths (as in "all man pages, whether from the
distribution or locally maintained, *must* go in /usr/share/man").
In other words: /usr belongs to the distribution while /usr/local
belongs to the maintainer of the machine, as is normally the case with
commercial UNIX'es as well.
---------------------------+--------------------------------------------------
Christian Lynbech | Computer Science Department, University of Aarhus
Office: R0.32 | Ny Munkegade, Building 540, DK-8000 Aarhus C
Phone: +45 8942 3218 | lynbech@daimi.aau.dk -- www.daimi.aau.dk/~lynbech
---------------------------+--------------------------------------------------
Hit the philistines three times over the head with the Elisp reference manual.
- petonic@hal.com (Michael A. Petonic)
Reply to: