Mudar a extensão de vários arquivos de uma só vez.

Colaboração: Juliano Biscaia

Data de Publicação: 19 de fevereiro de 2008

Recentemente precisei alterar a extensão de vários arquivos, onde seus nomes eram diferentes e não tinham nenhuma sequencia, como FILE01.txt, FILE02.txt, FILEN.txt.

Após uma rápida "googlada", surgiu este script:

  #!/bin/sh
  
  for o in $(ls -1 *.txt); do
  mv $o $(echo $o | awk -F. '{print $1".htm"}');
  done

Basicamente ele lista os arquivos .txt e usando o (poderoso) AWK remove a extensão antiga, "ecoa" o nome do arquivo sem extensão e no final o mv faz o singelo trabalho de movê-lo.