]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/dc_mowgli/uris_of_filenames.pl
first commit
[helm.git] / helm / metadata / dc_mowgli / uris_of_filenames.pl
diff --git a/helm/metadata/dc_mowgli/uris_of_filenames.pl b/helm/metadata/dc_mowgli/uris_of_filenames.pl
new file mode 100755 (executable)
index 0000000..e896a6f
--- /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\/dc$ARGV[0]\/\/cic:/;
+      s/\.xml//;
+      print $_.$GZSUFF."\n";
+ }
+}