]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxp/EXAMPLE.txt
- MySQL mode added to the interpreter
[helm.git] / helm / hxp / EXAMPLE.txt
diff --git a/helm/hxp/EXAMPLE.txt b/helm/hxp/EXAMPLE.txt
new file mode 100644 (file)
index 0000000..83e02a5
--- /dev/null
@@ -0,0 +1,5 @@
+On mowgli.cs.unibo.it this line outputs the names' list in a format suitable for
+Postgres. Each line of this list contains a uri and its short name separated by
+a tab character (as produced by pg_dump). see hxp --help for details. 
+
+hxp.opt -l /projects/helm/EXPORT/examples_mowgli/objects -r pg-names