> > > > man apt-file. prima bisogna fare apt-file update. ecco, non l'avevo capito. adesso e` OK. grazie, a. -- moim@augh.net http://www.augh.net