Mac OS: как я могу переименовать файл с APP_001.gif в 01.gif?

Question

У меня есть загрузка файлов в каталоге. У них всех есть имена как:

APP_001.gif
APP_101.gif

Как я мог переименовать их

01.gif
101.gif

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

Спасибо!

Answer 1

for file in APP_*.gif; do
    new=${file#APP_}
    new=${new#0}
    mv "$file" "$new"
done

Answer 2

shopt -s extglob; for f in in APP_*.gif; do mv "$f" "${f##app_?(0)}"; done

Answer 3

Если фактические имена не важны, и вы просто хотите, чтобы все фотографии имели уникальные, но организованные имена, вы можете открыть automator и создать следующее действие automator.

Это то, что я делаю, и затем сохраняю это как сервис (при условии, что у вас есть 10.6, снежный барс), затем вы можете выбрать любую группу файлов в Finder, щелкнуть правой кнопкой мыши и выбрать. Эта версия предлагает пользователю для префикса каждого файла затем использует это значение (инструкции по ссылке на переменную в действии Automator здесь), но вы также можете использовать действие переименования в одиночку количество файлов последовательно.