On Thu, Apr 25, 2002 at 10:59:29 -0500, David T-G wrote: > % This is quite annoying. A configure option to prevent it from being > % installed would be a good idea IMHO. > > While I agree that it isn't a bad idea, I don't know that it's a terribly > good idea; you can already tell mutt to not use dotlock but that still > won't get you anywhere [...]
I think you haven't understood. There is already a mutt_dotlock installed here (in /usr/...) with correct permissions. But I also want to install more recent versions of Mutt in my home directory, and "make install" installs a mutt_dotlock with wrong permissions too. :( I have to remove mutt_dotlock from my bin directory each time I want to install a new version of Mutt. > I think, however, that it might be well worth adding some magic in the > makefile that says not to install mutt_dotlock if there's another one > with privs out there in $PATH and you're not running as root, or to at > least say "I'll install mutt_dotlock for you, but it won't work except > in your personal tree", because this certainly does come up regularly. Yes, I want exactly that. -- Vincent Lefèvre <[EMAIL PROTECTED]> - 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
