Convert .heic files to .jpg on linux (coming from an iOS11 device over USB)

convert.sh

# download release from github: https://github.com/monostream/tifig/releases and install at ~/tools/tifig
# then run these commands in the folder (just to keep things simple we normalize the file extension case before proceeding).

for f in *.HEIC; do mv "$f" "`echo $f | sed s/.HEIC/.heic/`"; done
for file in *.heic; do echo "~/tools/tifig -v -p $file ${file/%.heic/.jpg}"; done

for image in *.HEIC; do tifig -v -p $image basename \$image .HEIC.JPG; done

for f in *.HEIC; do convert "$f" "${f%.HEIC}.jpg"; touch "${f%.HEIC}.jpg" -r "$f"; done

Copy file modification times as well.

how to use this?
im a noob.