De acordo com as Leis 12.965/2014 e 13.709/2018, que regulam o uso da Internet e o tratamento de dados pessoais no Brasil, ao me inscrever na newsletter do portal DICAS-L, autorizo o envio de notificações por e-mail ou outros meios e declaro estar ciente e concordar com seus Termos de Uso e Política de Privacidade.
Colaboração: Braulio Junior
Data de Publicação: 21 de fevereiro de 2008
Complementando a dica do colega Juliano Biscaia em 19/02/2008, faço o renomeamento de arquivos usando o basename que é próprio para a extração da extensão. Assim eu não enfrento problemas de nomes de arquivo com mais de um ponto no nome, como arquivo.20080219.txt, por exemplo.
#!/bin/sh for i in `ls *.txt`; do mv $i $(echo `basename $i .txt`.html) done