我有一个文件目录，例如：
file.1.png
file.2.png
…
file.10.png
…
file.1000.png
file.1001.png
…
如何将数字填充为 4 位数字？它应该像这样结束：
file.0001.png
file.0002.png
…
file.0010.png
…
file.1000.png
file.1001.png
…