Package: oz
Version: 0.17.0-2
Tags: patch
User: trei...@debian.org
Usertags: colis-shparser
Hi,
the postrm script of oz is not idempotent, because of :
if [ -f $FILE ]; then
rm $FILE $FILE.pub
fi
in fact, if $FILE exists but $FILE.pub does not exist or is a
directory, then a first invocation of "postrm purge" removes
$FILE and then fails. A second invocation succeeds. However,
policy requires maintainer scripts to be idempotent.
Why not replace that snippet simply by the following line:
rm -f $FILE $FILE.pub
-Nicolas and Ralf
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
