Muitas vezes você quer renomear todos os arquivos de uma determinada extensão para outra. Por exemplo, você recebeu vários arquivos .GIF e quer passá-los para .gif, infelizmente não é possivel fazer mv *.GIF *.gif... o quê fazer então?

Fácil! Com o Linux não há problemas, basta fazer:

	$ for i in `ls *.GIF`; do mv $i ${i/.GIF/.gif}; done

Achei uma ótima solução. Pena que não foi criada por mim -:(, eu vi ela no canal #debian-br e foi o spuk que escreveu. Eu tinha feito uma usando o comando cut, mas este do spuk é bem mais simples e elegante.

Alguns leitores me mostraram que tanto o meu jeito quanto o do spuk são pura reinvenção da roda. Existe um comando "rename" que resolve o problema, e é extremamente poderoso:

	#  rename .GIF .gif *.gif

Primeiro indicamos o que queremos mudar (.GIF) para o quê queremos mudar (.gif) e quais os arquivos que devem ser alterados (*.gif). Super rápido e eficiente.