On Tue, Nov 07, 2000 at 12:11:21PM -0800, Joey Hess wrote: > Jens Benecke wrote: > > This is what I get (the RPM is on a NFS mounted drive, of course it > > cannot access or delete it): (it means, briefly, "rm: permission > > denied") I think this should not be deleted because you might want to > > reinstall the package and NOT have to redownload the RPM. > Template: realplayer/deletefile > Description: Delete RPM file once it is installed? > You should be asked this question unless you have debconf configured to > skip low priority questions. Oh, so you thought of this already. Nevertheless, I think there's room for improvement. :-) Either do NOT delete it by default, (because a package installation(!) is IMHO not supposed to -delete- files that don't relate to the package contents directly), or ask the user if you can use wget (or Perl::Net or ...) if available to get the RPM yourself and _then_ delete it. Only delete something if you created it. If a debian package started deleting files somewhere it isn't supposed to muck about in without asking, I suppose many people could get angry. But other than that, I'm very happy I didn't have to worry about the installation myself, with the debian installer. ;)) -- Helft Microsoft, den Raubkopierhandel auszurotten: Installiert Linux *Achtung: .pinguin.conetix.de läuft aus, bitte Addressbuch aktualisieren!* http://www.hitchhikers.de/ - Die kostenlose Mitfahrzentrale für ganz Europa
Attachment:
pgpIAiS4v0QEO.pgp
Description: PGP signature