переименовать JPEG-файлы в .jpeg
 

Есть такая проблема. Пришлось быстро переименовать кучу картинок с разными названиями. В итоге они просматриваются, но ни в одном графическом редакторе с ними работать невозможно.Вопрос: Как переименовать все эти картинки из формата RANDOM_NAME в формат RANDOM_NAME.jpeg в ОС Ubuntu (gnome)?