Rename lots of files in one click

Is there any application that can rename lots of files which have the same name in them with different numbers. For example. I want to rename, File 01.avi and File 02.avi up to File 100.avi. Into 01.avi, 02.avi. How do I do that?In windows or ubuntu

Solution 1:

For the given example, and generally for purposes similar to these, one usually uses a batch renamer. There are many of the sort, so I'd rather not give reccommendations - instead, my heartly suggestion is to read on what they do in the above article, afterwards finding one that suits your needs should be trivial.

In the above article there are also several mentioned, for both Linux and Windows.

p.s. Just so to satisfy the "quote", I use this one on Windows, and it performs beautifully. Simple, beautiful, works ... doesn't know how to make coffee. The author promised that feature in the next version.

Solution 2:

rename 's/^File //' File*.avi