D. R. Evans wrote: > The apt-file man page leads me to believe that "apt-file search > getaddrinfo" ought to be helpful, but it's not :-( It returns nothing: You need sudo apt-file update before you can search. Nils