Converting image file formats, e.g. *.png to *.jpg

[Moltke]

[quote author=Moltke link=topic=4614.msg35196#msg35196 date=1506077635]
Hi. Another way to do this is by selecting the *png file, right click on it and then select save a copy, in the saving window simply name the file adding the *jpg extension and save it, that's it.  ;D

Thanks Moltke - I overlooked that detail - thankyou for pointing it out to me as I didn't know about that option.
I quite like the terminal method for changing the image format as it's so simple & direct.
I mentioned batch files in post #1 - do you know if Ristretto can also convert the format of those too?

Cheers
Mike
[/quote]
You're welcome! I do agree with you about the terminal method being simpler and direct, I only thought of sharing the "save a copy" method with ristretto too, not because I think it's better but because it's possible. Regarding your question about Ristretto being able to convert between formats, according to this manual https://docs.xfce.org/apps/ristretto/getting-started seems it's not meant for converting images. However, I did changed the *.png extension to *.jpg but it didn't recognize it as a *.jpg img while image magick did. If I right click the *jpg img and check its properties it does says it's a *.jpg file though.

[whateverthing]

Regarding whether "save a copy" in Ristretto actually converts the file:

I don't have the system in front of me. But if a .PNG is converted to a .JPG, the .JPG file should be noticeably smaller. So if the two files (before and after) are exactly the same size, then I'm pretty sure no conversion took place.

[smhardesty]

Can't say for sure about Ristretto, but I do know that Mirage will convert from one file type to another when choosing to "save as" and then change the extension type.

[NN]

...