On Thu, Jul 12, 2001 at 03:47:11PM +0200, Paolo Ariano wrote: > ciao, gimp ok leggo che esiste gimptool che servirebbe a intallare > e gestire nuovi plugins ma non trovo dove scricarlo? > apt-cache search gimptool etc etc nulla > qualcuno l'ha gia' usato? o sa dove trovarlo > > ciau > -- > > Paolo Ariano > DBAU, University of Turin ariano@dba.unito.it > Others ariano.paolo@libero.it > You are number 6! Who is number one? > > > > > > > -- > To UNSUBSCRIBE, email to debian-italian-request@lists.debian.org > with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org evo@mefistofele:~$ dpkg -L libgimp1.2-dev|grep gimptool /usr/share/man/man1/gimptool.1.gz /usr/include/libgimp/gimptools_pdb.h /usr/bin/gimptool apt-get install libgimp1.2-dev :) Best Regards, -- Davide Puricelli, apurice@tin.it Debian Developer: evo@debian.org | http://www.debian.org PGP key: finger evo@debian.org UIN: 2885982
Attachment:
pgpf5SJFHm0B3.pgp
Description: PGP signature