Dica rápida: mudar extensão de arquivos com shell script
Tuesday, November 17th, 2009Para mudar a extensão de arquivos no linux com shell script é muito fácil. Basta copiar essa linha:
$ for i in *.JPG; do mv “$i” `basename $i .JPG`.jpg; done
Nesse caso eu queria trocar a extensão de maiúsculo (.JPG) para minúsculo (.jpg). Então é só trocar o .JPG (original) e o .jpg (nova extensão) pela […]