/usr/bin/batch_image_convert is in libvips-tools 8.2.2-1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 | #!/bin/sh
# Convert a set of image files to new file format
#
# usage:
#
# example% batch_image_convert <new image type> image1 image2 etc
#
# writes output images image1.* and image2.* where * is the new file type.
# default prefix
VIPSHOME=${VIPSHOME-/usr}
name=`basename $0`
# check args
if [ $# -lt 2 ]; then
echo "usage: $name <new image type> image1 image2 ..."
echo
echo "$name uses VIPS to convert a group of image files of"
echo "any image format into a new group of images all of the same"
echo "image format. VIPS can read almost any standard image format"
echo "but it can only write VIPS, JPEG, TIFF, PPM/PBM/PGM or PNG."
exit 1
fi
type=$1
shift
# convert each argument
for i in $*; do
# drop the suffix on the filename
base=${i%*.*}
echo "Converting $i to $base.$type ..."
if [ -f $base.$type ]; then
echo "$base.$type already exists skiping $i"
else
$VIPSHOME/bin/vips im_copy $i $base.$type
fi
done
|