names_to_numbers.rb: fix rename same-to-same

Don't give an error when the source and destination file names happen to
be the same in our rename operation.  (This would occur if some of the
files were already named as we desire.)

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>

diff --git a/names_to_numbers.rb b/names_to_numbers.rb
index 9439fd1..0fac484 100755 (executable)
--- a/names_to_numbers.rb
+++ b/names_to_numbers.rb
@@ -76,8 +76,10 @@ def get_file_name(num)
 end
 
 def rename_files(file)
-  FileUtils.mv(file, "#{get_file_name(1 + $total_files)}.#{$opts.extension}",
-               $fu_args)
+  dst="#{get_file_name(1 + $total_files)}.#{$opts.extension}"
+  if (file != dst) then
+    FileUtils.mv(file, dst, $fu_args)
+  end
   $total_files = $total_files + 1
 end