On Thu, Apr 25, 2002 at 23:12:58 +0200, Rocco Rutte wrote: > It doesn't really matter, I think. The dotlock program is the > last which is to be installed. if chgrp fails, who cares since > (at that point) everything else is sucessfully where it should > be. Just remove the binary.
But some users may complain that Mutt could remove a mutt_dotlock with correct permissions which was already installed at the same place. -- 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