Un petit programme très simple qui peut convertir directement tous les .jpg de ce dossier au format .png et personnaliser la taille.
Besoin d'installer la bibliothèque d'oreillers :
pip install pillow
# -*- coding:utf-8 -*- # file name: jpg2png.py import os from PIL import Image list = os.listdir() for i in list: if i != 'jpg2png.py': print(i) Image.open(i).convert('RGBA').resize((512, 512)).save(i[:i.find('.')] + '.png')
Faites attention au nom du fichier et le redimensionnement doit être mis entre parenthèses. Inconvénients
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!