使用Python批量重命名10万个文件

Question

我有一个超过100000个文件的文件夹，所有文件都用同一个存根编号，但没有前导零，而且这些数字并不总是连续的（通常是连续的，但有间隙），例如：

file-21.png, 
file-22.png,  
file-640.png, 
file-641.png, 
file-642.png, 
file-645.png, 
file-2130.png, 
file-2131.png, 
file-3012.png, 

等等

我想批处理它来创建填充的连续文件。e、 克：

file-000000.png, 
file-000001.png, 
file-000002.png, 
file-000003.png, 

当我用for filename in os.listdir('.'):解析文件夹时，文件不会按照我希望的顺序出现。可以理解他们出现了

 file-1, 
 file-1x, 
 file-1xx, 
 file-1xxx,

等等，那么

 file-2, 
 file-2x, 
 file-2xx, 

等等，我怎样才能让它按数值的顺序进行呢？我是一个完整的python noob，但是看看这些文档，我猜我可以使用map创建一个新的列表，只过滤掉数字部分，然后对列表进行排序，然后迭代？有超过10万个文件，这可能会很重。任何提示欢迎！