]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/postgresql_V7_mowgli/inserisci_names.pl
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / metadata / postgresql_V7_mowgli / inserisci_names.pl
diff --git a/helm/metadata/postgresql_V7_mowgli/inserisci_names.pl b/helm/metadata/postgresql_V7_mowgli/inserisci_names.pl
deleted file mode 100755 (executable)
index 68cc93e..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/perl
-
-open (OUT, "| psql -h mowgli -U helm helm_mowgli_new_schema");
-while (<STDIN>) {
- chomp;
- ($name,$uri) = split(/\|/);
- print "   Inserisco $name#$uri\n";
- $name =~ s/'/\\'/g;
- $uri =~ s/'/\\'/g;
- print OUT "insert into objectName values ('$name', '$uri');";
- print "\n";
-}
-close OUT;