-# Version: 0.0.1
-
-# Find the maximum number of leading digits in the filenames of working dir
-max_digits=$(ls -1 * | sed 's/[^0-9].*//' | awk '{ if(length > L) L=length } END { print L }');
-declare -p max_digits;
-
-# Loop over the files and rename them
-for file in *; do
- # Extract the leading digits
- digits=$(echo "$file" | sed 's/\([0-9]*\).*/\1/');
- # Zero-pad the digits
- padded_digits=$(printf "%0${max_digits}d" "$digits");
- # Construct the new filename
- new_file="${padded_digits}${file#${digits}}";
- # Rename the file
- mv -n "$file" "$new_file"
- # declare -p file new_file; # debug
-done;