—
🐍 A “moleza” de hoje foi converter vários arquivos de imagens com extensões .jpeg, .jpg, .web e .jfif para .png.
Pra não fazer tudo na unha, resolvi utilizar o Python rodando em uma máquina com Windows 11 Pro e o resultado foi o algoritmo mostrado logo abaixo.
⚠️ As imagens foram salvas no diretório D:/_TEMP/fotos e as imagens convertidas, em D:/_TEMP/fotos/imagens_convertidas. [Como não podemos postar as fotos de nossos alunos, utilizei as imagens abaixo]
✅ Script Pyhton converter_imagens.py:
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
# Importar as bibliotecas necessárias import os from PIL import Image # Diretório de entrada e diretório de saída input_directory = 'D:/_TEMP/fotos' output_directory = 'D:/_TEMP/fotos/imagens_convertidas' # Cria o diretório de saída se ele não existir os.makedirs(output_directory, exist_ok=True) # Percorre todos os arquivos no diretório de entrada for filename in os.listdir(input_directory): # Verifica se o arquivo tem uma extensão suportada if filename.lower().endswith(('.jpeg', '.jpg', '.webp', '.jfif')): # Carrega a imagem image_path = os.path.join(input_directory, filename) image = Image.open(image_path) # Converte para o formato PNG output_path = os.path.join(output_directory, os.path.splitext(filename)[0] + '.png') image.save(output_path, 'PNG') sair = input("\nTecle ENTER para sair...") |
—
✅ Executando…
—
*Atualizado em 31 de julho de 2023
