019

batch rename files

with bash


for f in *.jpeg; do
    mv -- "$f" "${f%.jpeg}.jpg"
done