Come convertire i formati delle immagini in Linux

Sebbene esistano molti software in grado di convertire file immagine dal formato JPG al PNG al GIF, ecc, o viceversa, Linux ci offre uno dei metodi più rapidi per la maggior parte delle conversioni che ci servono.

In particolare, questa utility torna particolarmente comoda quando abbiamo una cartella con decina di immagini da convertire. Invece di convertirle una per volta, come faremmo con Gimp o altri software di elaborazione grafica, possiamo usare un comando da terminale per elaborarle tutte insieme.

Il comando

mogrify -format png *.jpg

convertirà tutti i file jpg in altrettanti png, preservando gli originali.

Naturalmente si possono convertire i file di diversi formati, usando le opportune estensioni.