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
