图片扩展名的问题

我有许多图片扩展名为bmp但是上传到空间需要是用gif或者是jpg的。
但是文件太多了。一个一个该的话，太麻烦。
请问有一个快的转换方法么？
怎么能够集体换扩展名。

图片扩展名的问题 矢量图片的扩展名 图片的扩展名是什么？ 还是如何更改图片的扩展名的问题? 文件扩展名的问题 扩展名的问题~~~ 关于扩展名的问题 扩展名的问题 ~关于扩展名的问题~#￥ 扩展名的问题!!!