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

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

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

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

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