#!/bin/bash
while [ $# -gt 0 ]; do
    picture=$1
    jpg_file=`echo "$picture" | sed 's/\.\w*$/.jpg/'`
    /usr/bin/convert -quality 75 "$picture" jpeg:"$jpg_file"
    shift
done