I have files in the following format: x1 x2 ... x10 x11 ... x101 ...
I want to rename these files, so they all have the same name length: x001 x002 ... x010 ...
I can do this with files, that don't have the non-numeric prefix (just using sort -n followed by a while read x;), but sort doesn't recognize the numeric value, when it's not on the beginning of the file-name.
