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
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.
In Windows on command line: Use powershell, and its foreach and rename-to commands. There you can use all powershell functions (convert case, replace, sha-1 etc) for manipulating the names.
Windows or Ubuntu: Use Emacs' directory editor - you basically open a file listing in the editor, edit it (search/replace, whatever you like) and then you "apply" all the changes at once. (Note that if you don't like Emacs - and it is some kind of love-or-hate relationship - you might not like this solution either).