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 [EMAIL PROTECTED] > Others [EMAIL PROTECTED] > You are number 6! Who is number one? > > > > > > > -- > To UNSUBSCRIBE, email to [EMAIL PROTECTED] > with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
[EMAIL PROTECTED]:~$ 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, [EMAIL PROTECTED] Debian Developer: [EMAIL PROTECTED] | http://www.debian.org PGP key: finger [EMAIL PROTECTED] UIN: 2885982
pgpBp5WsrEDMd.pgp
Description: PGP signature