Só vou comentar porque ninguém respondeu, mas eu não sei nada
de Bash scripting:
Se você quer trocar pedaços de nomes de arquivos, isso já
não tem mais nada a ver com sed. Tem a ver com shell scripting e,
provavelmente, o mv. No DOS, faz assim:
rename *foca* *leao*
D
Só faltou mencionar o poderoso Aurélio:
http://aurelio.net/sed/sed-HOWTO/
--
Luciano Espirito Santo
Santos, SP - Brasil
<-quote-> **
On 11/06/03 at 00:17, Leandro A. F. Pereira wrote in 4K:
Assunto/Subject: sed (era:
2 matches
Mail list logo
