Given a pile of image files, is there a way with gimp to convert them into a different image format, **WITHOUT** requiring any interactive stuff? It needs to go into a shell for loop and work. No X11!
Yes I know about ImageMagick, and I wouldn't ask about gimp if IM had fewer than a gazillion bugs and actually got the job done.
Thanks,
Volker
-- Happy Hacking, Robert Himmelmann
A classic is something that everybody wants to have read and nobody wants to read.
-- Mark Twain
"Murphy's Law, that brash proletarian restatement of Godel's Theorem ..."
-- Thomas Pynchon, "Gravity's Rainbow"
