Maybe imagemagick is worth looking at?
https://askubuntu.com/questions/1224212/how-to-change-image-ppi-in-batch-mode
https://www.imagemagick.org/script/command-line-options.php
JMJ
On Mon, Aug 9, 2021 at 2:11 PM Paul Boniol wrote:
> If nobody else has a suggestion, my latest thing I'm trying
If nobody else has a suggestion, my latest thing I'm trying to figure out:
I've been manually editing them with GIMP since it was just a few, but over
the years, the number of images is growing.
Given a list of jpeg images, change their PPI (DPI) setting because it is
not correct (118/11820).
