changegifs.pl

Go to the documentation of this file.

#!/usr/bin/perl -w

chomp(@files = `ls *.gif*`);

foreach $file (@files) {
  $file =~ /^(\d+).gif$/;
  $newfile = "integrand_";

  if($1/10. < 1.) {
    $newfile .= "0";
  }
  if($1/100. < 1.) {
    $newfile .= "0";
  }
  if($1/1000. < 1.) {
    $newfile .= "0";
  }
  if($1/10000. < 1.) {
    $newfile .= "0";
  }

  $newfile .= "$1.gif";

  print "$newfile\n";
  system("mv $file $newfile");
}

---