]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create2/uris_of_filenames.pl
New procedure to create metadata committed and old procedure removed.
[helm.git] / helm / metadata / create2 / uris_of_filenames.pl
diff --git a/helm/metadata/create2/uris_of_filenames.pl b/helm/metadata/create2/uris_of_filenames.pl
new file mode 100755 (executable)
index 0000000..db835bf
--- /dev/null
@@ -0,0 +1,14 @@
+#!/usr/bin/perl
+
+while(<STDIN>) {
+   chomp;
+   split / /;
+   for (@_) {
+      $GZSUFF = "";
+      if (/.gz$/)
+       { s/.gz$//; $GZSUFF = " gz" if ($ARGV[1] == "-gz"); }
+      s/\./helm:rdf:www.cs.unibo.it\/helm\/rdf\/$ARGV[0]\/\/cic:/;
+      s/\.xml//;
+      print $_.$GZSUFF."\n";
+ }
+}