Hey all,
I have a folder with 3000 image files that need to be made into a movie. I want to get rid of 90% off them, since they are not needed. Right now I have:
mov0001.png
mov0002.png
mov0003.png
etc.
I can remove 90% of them with the command
rm ./mov???[123456789].png
which will keep only files ending in 0. However, the movie program needs files names in order to work. How can I rename all the remaining files back to
mov0001.png
mov0002.png
mov0003.png
etc
in order?
Is there a (relatively) simple command I can use?
Thanks