Cambiar extensión de JPG a jpg

Algunas veces me he enfrentado al problema que estoy escribiendo un programa para visualizar una gran cantidad de fotos y no todas tienen la misma extensión. Muchas veces algunas cámaras ponene JPG (en mayúscula) en lugar de jpg (minúscula) lo que es una verdadera putada.

Instalar el comando:

sudo apt install rename

rename permite hacer ese cambio a todas las fotos de una carpeta:

rename -v 's/\.JPG$/\.jpg/' *.JPG

Fuente:

• Linux Handbook - How to Rename Multiple Files at Once in Linux