helm/interface/uris_of_filenames.pl

   1 #!/usr/bin/perl
   2
   3 while(<STDIN>) {
   4    chomp;
   5    split / /;
   6    for (@_) {
   7       $GZSUFF = "";
   8       if (/.gz$/)
   9        { s/.gz$//; $GZSUFF = " gz" if ($ARGV[0] == "-gz"); }
  10       if (/.*\.(con|var|ind)(\.types)?\.xml/)
  11        { s/\./cic:/; }
  12       elsif (/.*\.theory\.xml/)
  13        { s/\./theory:/; }
  14       s/\.xml//;
  15       print $_.$GZSUFF."\n";
  16  }
  17 }