I have a lot of .png images in a folder. Is there a command (or software) that can convert all them to .jpg and (simultaneously) rescale the created .jpg files to 25% of their original size?
Converting and rescaling a lot of png images to jpeg
scripting;conversion;images
Use the convert command from ImageMagick:convert x.png -resize 25% x.jpgwill create a 25%-scaled JPEG version of x.png.To do all the PNG files at once, use a for loop:for filename in *.png ; do convert $filename -resize 25% ${filename%.png}.jpg ; doneWe look at every file matching *.png, and for each one run the convert command above. ${filename%.png}.jpg generates the .jpg filename for each .png: it removes the extension with % and puts .jpg back on the end.