Re: [rox-devel] .mime directory

[Vincent L. <vi...@vi...>]

On Mon, Apr 28, 2003 at 11:32:44 +0100, Thomas Leonard wrote:
> Hmm, just noticed that /usr/local/share/man is in the default path.

It isn't on my machines. Perhaps you have something in your $path
(like /usr/local/share/bin) so that /usr/local/share/man is added
to the man path, or perhaps it is added to the man path when this
directory exists.

> Essentially, the plan is that users will do:
> 
> 	./configure --prefix=$HOME/.local
> 
> to avoid cluttering their home directories with bin, lib, share, man, etc.
> Perhaps we should install a symlink?

Or instead of saying

1) Inside /usr/local
2) Inside my home directory
3) Inside /usr
4) Specify paths manually

install.sh could propose:

1) Inside /usr/local
2) Inside $HOME/.local
3) Inside /usr
4) Inside $HOME
5) Specify paths manually

The problem with .local is that it is not standard (AFAIK). And many
users already have a bin directory in their home (and sometimes man,
lib...).

-- 
Vincent Lefèvre <vi...@vi...> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA