Как уменьшить число в списке имен файлов с помощью sed или аналогичного инструмента

Question

У меня есть список файлов, пронумерованных в имени файла, начиная, например. на 013 (или на другой счет), но хотите, чтобы их переименовали, чтобы начать с 001. Я не против используемого инструмента (awk, sed, mv, tr, what-ever ...)

Пример (до -> после):

img013.tif -> img001.tif 
img014.tif -> img002.tif 
... 

т.д.

Цените любую помощь. 1000 х спасибо, Roland

Answer 1

Поскольку выражение Глоб будет получать список файлов в алфавитном (буквенно-цифровой) для того, вы можете просто использовать это:

#!/bin/bash 

i=0 
# The loop iterates over tif files in alphanumerical order 
for file in *.tif ; do 
    mv -v "$file" "img$(printf "%03d" "$i").tif" 
    i=$((i+1)) 
done