Am 2005-03-28 00:21:05, schrieb Matthias Kempka: > Hi Liste, > > Ich versuche gerade, *viele* gif Dateien nach jpeg zu konvertieren. Ich > haette also gerne zu jeder Datei {x}.gif eine Datei {x}.jpg (meinetwegen > auch {x}.gif.jpg). > > Nach langer Rumprobiererei bin ich bei: > > > find . -name "*gif" |xargs -n1 file |grep GIF | awk '{print substr($1,0 > ,length($1)-1)}' | xargs -n1 giftopnm | pnmtojpeg > ??? for PIC in `find -name "*.gif"` ; do giftopnm $PIC |pnmtojpeg > `dirname $PIC`/`basename $PIC`.jpg done > Gruss, > Matthias Greetings Michelle -- Linux-User #280138 with the Linux Counter, http://counter.li.org/ Michelle Konzack Apt. 917 ICQ #328449886 50, rue de Soultz MSM LinuxMichi 0033/3/88452356 67100 Strasbourg/France IRC #Debian (irc.icq.com)
Attachment:
signature.pgp
Description: Digital signature