[rename_images] Added changed suggested by Volker Bödker to make sure

                sequence was 4 digits with leading zeros.

Author: wpferguson

contrib/rename_images.lua

@@ -103,12 +103,49 @@ local function build_substitution_list(image, sequence, datetime, username, pic_
  if image.purple then table.insert(colorlabels, "purple") end
  local labels = #colorlabels == 1 and colorlabels[1] or du.join(colorlabels, ",")
  local eyear,emon,eday,ehour,emin,esec = string.match(image.exif_datetime_taken, "(%d-):(%d-):(%d-) (%d-):(%d-):(%d-)$")
- local replacements = {image.film,image.path,df.get_filename(image.filename),string.upper(df.get_filetype(image.filename)),image.id,image.duplicate_index,
-                       sequence,datetime.year,string.format("%02d", datetime.month),string.format("%02d", datetime.day),string.format("%02d", datetime.hour),
-                       string.format("%02d", datetime.min),string.format("%02d", datetime.sec),eyear,emon,eday,ehour,emin,esec,image.rating,labels,
-                       image.exif_maker,image.exif_model,image.title,image.creator,image.publisher,image.rights,username,pic_folder,home,desktop,
-                       image.exif_iso,image.exif_exposure,image.exif_exposure_bias,image.exif_aperture,image.exif_focus_distance,image.exif_focal_length,
-                       image.longitude,image.latitude,image.elevation,image.exif_lens,image.description,image.exif_crop}
+ local replacements = {image.film,
+                       image.path,
+                       df.get_filename(image.filename),
+                       string.upper(df.get_filetype(image.filename)),
+                       image.id,image.duplicate_index,
+                       string.format("%04d", sequence),
+                       datetime.year,
+                       string.format("%02d", datetime.month),
+                       string.format("%02d", datetime.day),
+                       string.format("%02d", datetime.hour),
+                       string.format("%02d", datetime.min),
+                       string.format("%02d", datetime.sec),
+                       eyear,
+                       emon,
+                       eday,
+                       ehour,
+                       emin,
+                       esec,
+                       image.rating,
+                       labels,
+                       image.exif_maker,
+                       image.exif_model,
+                       image.title,
+                       image.creator,
+                       image.publisher,
+                       image.rights,
+                       username,
+                       pic_folder,
+                       home,
+                       desktop,
+                       image.exif_iso,
+                       image.exif_exposure,
+                       image.exif_exposure_bias,
+                       image.exif_aperture,
+                       image.exif_focus_distance,
+                       image.exif_focal_length,
+                       image.longitude,
+                       image.latitude,
+                       image.elevation,
+                       image.exif_lens,
+                       image.description,
+                       image.exif_crop
+                     }
 
   for i=1,#rename.placeholders,1 do rename.substitutes[rename.placeholders[i]] = replacements[i] end
 end