Package: apt-file If the user decides apt-file is too network-expensive and purges it, that does not interrupt the running curl process.
Also important is saying on the package description and perhaps also man page, how such a user could instead just give his apt-file queries to some web page that could tell him the answer, instead of the user having to maintain a local copy of the apt-file database. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
