X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2Fscript.sh;h=6be688132ff394b83b8c445bed6e1cac0df52e83;hb=f7b2e35a7bdadb4fdf0e640428e694703ddf67a5;hp=29dd0a396dce1de19d582218102119d205c1e1ce;hpb=70f855932359e26ca89deb11c22f9c9d26154827;p=helm.git

diff --git a/helm/gTopLevel/script.sh b/helm/gTopLevel/script.sh
index 29dd0a396..6be688132 100755
--- a/helm/gTopLevel/script.sh
+++ b/helm/gTopLevel/script.sh
@@ -1,19 +1,22 @@
 #!/bin/bash
 
-export OCAMLPATH=/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:/home/claudio/miohelm/helm/ocaml:/home/claudio/miohelm/helm:/home/claudio/miohelm/helm/hbugs/meta
+#export OCAMLPATH=/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:/home/luca/miohelm/helm/ocaml:/home/luca/miohelm/helm:/home/luca/miohelm/helm/hbugs/meta:/home/luca/miohelm/helm/gTopLevel
 
-export HELM_ANNOTATIONS_DIR=/home/claudio/miohelm/objects
-export HELM_ANNOTATIONS_URL=file:///home/claudio/miohelm/objects
-#export HELM_GETTER_URL=http://mowgli.cs.unibo.it:58081/
-#export HELM_PROCESSOR_URL=http://mowgli.cs.unibo.it:58080/
-export HELM_GETTER_URL=http://localhost:58081/
-export HELM_PROCESSOR_URL=http://localhost:58080/
+export OCAMLPATH=/home/asperti/helm/ocaml:/home/asperti/helm/hbugs/meta:/local/helm/galax/sources/natile-galax-0.1-alpha-installed/lib
 
-export GTOPLEVEL_PROOFFILE=/public/sacerdot/currentproof
-export GTOPLEVEL_PROOFFILETYPE=/public/sacerdot/currentprooftype
-export GTOPLEVEL_INNERTYPESFILE=/public/sacerdot/innertypes
-export GTOPLEVEL_CONSTANTTYPEFILE=/public/sacerdot/constanttype
-export POSTGRESQL_CONNECTION_STRING="dbname=mowgli"
-#export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=mowgli user=helm password=awH21Un"
+export HELM_ANNOTATIONS_DIR=/home/luca/miohelm/objects
+export HELM_ANNOTATIONS_URL=file:///home/luca/miohelm/objects
+export HELM_GETTER_URL=http://localhost:58081/
+export HELM_PROCESSOR_URL=http://localhost:8080/helm/servlet/uwobo/
+#export HELM_GETTER_URL=http://mowgli.cs.unibo.it:58081/
+#export HELM_PROCESSOR_URL=http://mowgli.cs.unibo.it:8081/mowgli/servlet/uwobo/
 
 export HELM_TMP_DIR=/tmp
+
+export GTOPLEVEL_PROOFFILE=/tmp/asperti_currentproof
+export GTOPLEVEL_PROOFFILETYPE=/tmp/asperti_currentprooftype
+export GTOPLEVEL_INNERTYPESFILE=/tmp/asperti_innertypes
+export GTOPLEVEL_CONSTANTTYPEFILE=/tmp/asperti_constanttype
+export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=mowgli user=helm password=awH21Un"
+#export POSTGRESQL_CONNECTION_STRING="dbname=helm_mowgli_new_schema user=helm"
+#export POSTGRESQL_CONNECTION_STRING="host=mowgli.cs.unibo.it dbname=helm_mowgli_new_schema user=helm"