Crie um script que seja capaz de converter todos os arquivos com extensão .jpg de um diretório para .png de forma simples.
# Necessário para o convert funcionar:
sudo apt install imagemagick
# Download de imagens direto da internet com wget:
wget https://picsum.photos/200/300 -O foto1.jpg
wget https://picsum.photos/200/300 -O foto2.jpg
wget https://picsum.photos/200/300 -O foto3.jpg
conversorimagens.sh
#!/bin/bash
echo "Conversor de imagens JPG > PNG"
read -p "Digite o caminho do diretório com as imagens a serem convertidas: " diretorio
if [ ! -d "$diretorio" ]; then
echo "Diretório não encontrado: $diretorio"
exit 1
fi
for imagem_jpg in "$diretorio"/*.jpg; do
convert "$imagem_jpg" "${imagem_jpg%.jpg}.png" && echo "Imagem convertida: ${imagem_jpg%.jpg}.png" || echo "Falha na conversão: $imagem_jpg"
done
echo -e "Conversão concluída!\nImagens do diretório $diretorio convertidas de .JPG para .PNG"