[Python知识库]Python如何在以数字命名的文件前补0

本例的初始文件是4位数字 (e.g. 0001.png)，想在前面补1个0 (00001.png)

import numpy as np
import cv2
from ptsemseg.utils import recursive_glob
import os

root = "./src/"
root1 = "./dst/"
file_list = recursive_glob(
    rootdir=root, suffix=".png"
)

for file in file_list:
    src = os.path.abspath(file)
    dst = os.path.join(root1, '%05d' % int(file[-7:-4]) + ".png")#
    os.rename(src, dst)
    print(dst)