Peter Samuelson <[EMAIL PROTECTED]> wrote: > [Frank Küster] >> That's not sufficient, because /usr/local may be mounted ro, and >> therefore the command may fail even if the directory is empty. > > Uhhhh. > > There are lots of things dpkg can do which fail if filesystems are > mounted read-only.
Correct, but dpkg should never touch anything below /usr/local. > I don't think this is something worth worrying > about. The Debian Policy instructs you to worry about it, though (9.1.2) > I mean, consider the case that the dir in /usr/local is > contained in the package itself, rather than handled by scripts. That would be a release critical bug. Regards, Frank -- Frank Küster Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich Debian Developer (teTeX)