Eu tenho que fazer uma linha sed (também usando pipes no Linux) para mudar uma extensão de arquivo, então eu posso fazer algum tipo demv *.1stextension *.2ndextension gostarmv *.txt *.c. O fato é que não posso usar batch ou loop for, então tenho que fazer tudo com o comando pipes e sed.