#!/bin/bash

for image in *.HEIC ;
do
    heif-convert -q 90 "$image" "${image%.*}.jpg" ;
done