cercando di ridimensionare molte immagini ho provato
imagemagick (con convert e con mogrify), ma il risultato mi ha deluso (le immagini scalate sono di scarsa qualità anche con l'opzione -quality=100 e occupano più spazio di quelle che si potrebbero creare con gimp)
perciò cercando nel forum ho visto questo:
Si, puoi farlo con il plugin per gimp DBP
come già scritto si trova
qui(per installarlo bisogna avere il pacchetto
libgimp2.0-dev)
estrarre il pacchetto
dbpSrc-1-1-5.tgz e nella cartella creata dare da terminale:
make
gimptool-2.0 --install-bin dbp
ora è installato
spero sia utile a qualcuno