以数字命名的文件夹，不足4位数的名称前补0

一、要解决的问题

如上图，有很多文件夹是以数字1,2,3......命名的，怎样才能让文件夹名中不足4位的数字补0呢？

（注意：文件夹里有文件，修改文件夹名称的时候，不能影响文件夹里的文件名）

二、解决方法

1、复制文末的代码，保存到txt文本中，并将后缀修改为bat，然后放入需要修改的文件夹目录中，双击打开bat文件；

2、等待任务执行完成，然后关闭窗口，刷新目录。

代码：