我有一个文件夹超过100,000个文件,所有编号与相同的存根,但没有前导零,数字并不总是连续的(通常是,但有差距),例如：
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,
等等
我想批量处理这个来创建填充的,连续的文件.例如：
file-000000.png,file-000001.png,file-000002.png,file-000003.png,
当我在os.listdir(‘.’)中解析文件夹中的文件名时：文件不按照我想要的顺序出现.可以理解他们来了
file-1,file-1x,file-1xx,file-1xxx,
等等
file-2,file-2x,file-2xx,
等等我怎么能按照数值的顺序来完成它？我是一个完整的python noob,但是看文档我猜我可以使用map来创建一个新的列表,只过滤出数字部分,然后排序该列表,然后迭代？超过100K的文件可能很重.欢迎任何提示！