mogrify -format jpeg *.gif will convert all the gif images into jpeg format.
Amitay. On Wed, 2003-12-24 at 13:32, [EMAIL PROTECTED] wrote: > Hi guys, > This is my first post on Mumbai-GLUG. > I have a problem with conversion of a batch set of files. > I need to convert a set of 10000 images of a certain format to another. > Can someone help me out with the shell script? > > Thanks > Kiran > > > MASTEK > "Making a valuable difference" > Mastek in NASSCOM's 'India Top 20' Software Service Exporters List. > In the US, we're called MAJESCO > > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > Opinions expressed in this e-mail are those of the individual and not that of Mastek > Limited, unless specifically indicated to that effect. Mastek Limited does not > accept any responsibility or liability for it. This e-mail and attachments (if any) > transmitted with it are confidential and/or privileged and solely for the use of the > intended person or entity to which it is addressed. Any review, re-transmission, > dissemination or other use of or taking of any action in reliance upon this > information by persons or entities other than the intended recipient is prohibited. > This e-mail and its attachments have been scanned for the presence of computer > viruses. It is the responsibility of the recipient to run the virus check on e-mails > and attachments before opening them. If you have received this e-mail in error, > kindly delete this e-mail from all computers. > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Amitay. -- You see things that are and say, "Why?" But I dream things that never were and say, "Why not?" - George Bernard Shaw -- http://mm.ilug-bom.org.in/mailman/listinfo/linuxers
