J'ai un répertoire qui contient des fichiers image numérotés, quelque chose comme ceci:
01.png
02.png
03.png
03.svg
04.png
05.png
06.jpg
07.png
08.png
09.png
09.svg
10.png
Parfois, il peut y avoir plusieurs versions d'un fichier dans différents formats (par exemple, a png
et la svg
version des fichiers 03
et 09
ci-dessus), mais les nombres sont sinon consécutifs. En règle générale, il y a entre 40 et 80 fichiers de ce type dans chaque répertoire. Les nombres correspondent à l'ordre dans lequel ces images apparaissent dans un manuscrit (un document Word, mais ce n'est pas important). Il n'y a pas d'autre moyen de déterminer l'ordre des images.
Si j'ajoute une nouvelle image au manuscrit, je dois placer une copie de l'image dans ce répertoire avec la numérotation correcte. Donc, si la nouvelle image est la cinquième du manuscrit, je dois renommer les fichiers du répertoire afin de lui faire de la place:
01.png
02.png
03.png
03.svg
04.png
06.png
07.jpg
08.png
09.png
10.png
10.svg
11.png
Quel est le moyen le plus simple à partir de la ligne de commande ou d'un script ou d'une macro pour renuméroter tous les fichiers à partir d'un certain nombre? J'ai une installation standard de Fedora Linux utilisant bash.