Как задать расширение файла в переменной Bash?

Question

[Дима]

Есть вот такой скрипт, который изменяет масштаб картинки и заменяет оригинал ею.
convert -resize 49.6% "$file" "$file"

Я хочу чтоб каждый изменённый этим скриптом файл, получал расширение файла .jpg (а не jpeg, JPG, JPEG, какие бывают у оригиналов). Как это сделать?

Answer 1

[Дмитрий Шицков]

Возможно,
${file/%\.*/.jpg}

convert -resize 49.6% "$file" "${file/%\.*/.jpg}"

Answer 2

[Дима]

Нашел решение в этом видосе, достаточно добавить строчку ниже:
mv "$file" "${file%.*}.jpg"