On Sun, 2004-10-03 at 23:02 +0200, Benedikt Meurer wrote: > Besides that, /usr/local is the most sane default location IMHO. Agree, it's a good default, it should be kept like that. Cheers, Olivier.