]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/postgresql_V7_mowgli/inserisci_names.pl
MathQL homepage added
[helm.git] / helm / metadata / postgresql_V7_mowgli / inserisci_names.pl
1 #!/usr/bin/perl
2
3 open (OUT, "| psql -h mowgli -U helm helm_mowgli_new_schema");
4 while (<STDIN>) {
5  chomp;
6  ($name,$uri) = split(/\|/);
7  print "   Inserisco $name#$uri\n";
8  $name =~ s/'/\\'/g;
9  $uri =~ s/'/\\'/g;
10  print OUT "insert into objectName values ('$name', '$uri');";
11  print "\n";
12 }
13 close OUT;