I was wondering, which tools (GUI / CLI) you are using to convert image formats (e.g. jpg → png). I’m coming from Mac, where you can just right-click an image and use a small GUI window to convert it into different formats. On my initial search, I couldn’t find any simple GUI tool like that on Linux.
So, I’ve got two questions:
What’s your current workflow for converting images from one format to another?
Would you be interested in using a native GNOME GUI tool for converting images?
I like ImageMagick for this. It includes a convert command which, at its simplest is
convert myimage.png myimage.jpg
It contains a bunch of other commands enabling you to quickly modify an image by command line.
IMHO it’s worth investigating. This seems like a reasonably clear introduction.