Assine a Lista Dicas-L
Receba diariamente por email as dicas
de informática publicadas neste site
Para se descadastrar, clique aqui.
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.
Referências Adicionais
Referências adicionais sobre os assuntos abordados neste site podem ser encontradas em nossa Bibliografia.
Avalie esta dica
Opinião dos Leitores
27 Dez 2010, 23:15
mas eu gosto do linux mesmo assim :D
obrigado pela dica!
25 Nov 2010, 18:41





