Script para modificar a extensão de um arquivo.

Recentemente venho publicando uma série de fotos em um site, até ai nada de mais, porém o servidor não entende imagens com extensão .JPG(assim em maiúscula).

Dependendo do número de fotos a serem publicadas isso pode ser um problema e tanto, afinal modificar a extensão de cada arquivo na unha não é interessante.

Pesquisando um pouco encontrei um script shell que resolve esse problema.
#!/bin/sh
for i in $(ls -1 *.JPG);do
mv $i $(echo $i |awk -F. '{print $1".jpg"}');
done

Uso:
Digite ou cole o código acima em um editor de texto e salve o arquivo com um nome qualquer, não é necessário a inclusão da extensão .sh, mas você pode fazé-lo se desejar.

Para que o script seja executado ele deve ter permissões para isso, modifique as permissões do arquivo digitando:
chmod +x nome-do-arquivo

Para executar o script basta digitar:
./nome-do-arquivo

Lembrando o arquivo deve estar no mesmo diretório dos arquivos que terão a extensão modificada, e claro você pode adaptar o script para modificar qualquer extensão.