So you buy windows so that you can get other programs to do what you might need. So I have an old album of gifs I want to convert, I have to go out and buy something to do it?
2. You could do it pretty trivially with a batch file.
Because if the Linux command line is too much for a user, they will have no problem writing windows batch scripts (/sarcasm)
3. You could write a little Perl script (with Image::Magick or similar). - My preferred method cause the result works (if you are careful) with Linux & Windows.
Again, this requires you are able to write a perl script, if you can do this you are smart enough to Gnome...
The point of the OP was the the GUI more often than not makes things difficult, faster maybe, shorter learning curve probably, but in the end more of a pain..
"No. Just because *you* would be clicking 5000 times doesn't mean you have to.
"
rename *.jpg *.gif
No problem.