ppm_to_jpg_conversion

Converting ppm images to jpg format

The program ppm2jpg (source code in supportingscripts directory) converts ppm image files to jpg format. It can be used recursively (option "-r") to convert files in all subdirectories of a specified folder, and can either delete original ppm files (option"-d") or keep them:

./ppm2jpg -i /path/to/directory/containing/ppm -r -d

Changing references in cas files from ppm to jpg

The script ppm2jpgCas.sh reads the content of cas files in a directory and changes any references to image files from ppm to jpg recursively. It can be used also to delete all ppm files in the specified directory and its subdirectories. The two functionalities can called separately or they can be combined:

./ppm2jpgCas.sh --fix-cas --delete-ppm /path/to/cas/file/root/dir