Я разрабатываю простой launchdaemon, который копирует файлы из одного каталога в другой. Я получил файлы для передачи в порядке.

Я просто хочу, чтобы файлы в каталоге были .mp3 вместо .dat

Некоторые файлы выглядят так:

6546785.8786.dat
3678685.9834.dat
4658679.4375.dat

Я хочу, чтобы они выглядели так:

6546785.8786.mp3
3678685.9834.mp3
4658679.4375.mp3

Это то, что у меня есть в конце скрипта bash для переименования расширений файлов.

cd $mp3_dir
mv *.dat *.mp3
exit 0

Проблема в том, что файл выглядит как * .mp3 вместо 6546785.8786.mp3

и когда другой файл 6546785.8786.dat импортируется в $ mp3_dir, * .mp3 перезаписывается новым .mp3

Мне нужно переименоватьтолько что расширение файла .dat до .mp3 и сохранить имя файла.

Идеи? Предложения?