Изменить расширения нескольких файлов в каталоге с помощью терминала / bash?

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

Я просто хочу, чтобы файлы в каталоге были .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 и сохранить имя файла.

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

8
задан Wladimir Palant 11 June 2012 в 10:22
поделиться