On Tue, 27 Aug 2002 00:34:12 +0200 Christian Marillat <marillat.christian@wanadoo.fr> wrote: > > Tu vas ici : > > http://www.debian.org/distrib/packages > > Dans la deuxième entrée tu mets le nom du fichier que tu cherches, et > hop. > > usr/bin/gtk-config devel/libgtk1.2-dev Ou sans quitter ta ligne de commande : # apt-file search gtk-config + /var/cache/auto-apt + /var/cache/auto-apt libgtk1.2-dev Alain