Upload of a shell script used for renaming files with numbers in their names.