有的时候我们可能会遇到,在一个文件夹内有很多个文件,我们需要修改这些文件的扩展名,当然我们可以一个一个的修改,可是如果有很多文件,那就很麻烦了,所以今天就教大家批量修改文件扩展名的方法,希望大家能够灵活运用。
这里假设你要把扩展名为.gif的文件都改成.jpg格式,那么具体方法如下:
1、首先进入需要改扩展名的文件夹内新建一个记事本
2、在记事本中输入如下内容
代码如下:
ren *.gif *.jpg
3、将记事本的扩展名改名为.bat
4、双击运行bat文件即可批量将该文件夹下的所有.gif文件改成.jpg了
说明:这里只是一个例子,可以灵活运用哦,大家思考吧,呵呵。
更多信息请查看IT技术专栏