Alterar extensões de arquivo de vários arquivos em um diretório com terminal / bash?
Estou desenvolvendo um daemon de inicialização simples que copia arquivos de um diretório para outro. Eu consegui transferir os arquivos muito bem.
Eu só quero que os arquivos no diretório sejam .mp3, em vez de .dat,
Alguns dos arquivos ficam assim:
6546785.8786.dat
3678685.9834.dat
4658679.4375.dat
Eu quero que eles sejam assim:
6546785.8786.mp3
3678685.9834.mp3
4658679.4375.mp3
Isto é o que tenho no final do script bash para renomear as extensões de arquiv
cd $mp3_dir
mv *.dat *.mp3
exit 0
Problem é que o arquivo sai como * .mp3 em vez de 6546785.8786.mp3
e quando outro arquivo 6546785.8786.dat for importado para $ mp3_dir, o * .mp3 será substituído pelo novo .mp3
Preciso renomearsoment as extensões de arquivo .dat para .mp3 e mantenha o nome do arquiv
Ideias? Sugestões?