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: 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.
This policy contains information about your privacy. By posting, you are declaring that you understand this policy:
This policy is subject to change at any time and without notice.
These terms and conditions contain rules about posting comments. By submitting a comment, you are declaring that you agree with these rules:
Failure to comply with these rules may result in being banned from submitting further comments.
These terms and conditions are subject to change at any time and without notice.
Comentários