From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 11 Feb 2004 12:17:35 +0000 (+0000)
Subject: - script.sh removed from CVS. script.sh.sample added isntead
X-Git-Tag: V_0_3_0~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=78a646697c09d8a4ff1f04e0e58c48670400e825;p=helm.git

- script.sh removed from CVS. script.sh.sample added isntead
- triciclo.conf.xml.sample added
---

diff --git a/helm/gTopLevel/script.sh b/helm/gTopLevel/script.sh
deleted file mode 100755
index 848103c32..000000000
--- a/helm/gTopLevel/script.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-export OCAMLPATH="/home/zack/dati/HELM/galax:/home/zack/dati/HELM/cvs/helm/ocaml/METAS:/home/zack/dati/HELM/cvs/helm:/home/zack/helm/hbugs/meta"
-
-export HELM_ANNOTATIONS_DIR=/home/zack/miohelm/objects
-export HELM_ANNOTATIONS_URL=file:///home/zack/miohelm/objects
-export HELM_GETTER_URL=http://localhost:58081/
-export HELM_PROCESSOR_URL=http://localhost:58080/
-
-export GTOPLEVEL_PROOFFILE=/public/helm_library/currentproof
-export GTOPLEVEL_PROOFFILETYPE=/public/helm_library/currentprooftype
-export GTOPLEVEL_INNERTYPESFILE=/public/helm_library/innertypes
-export GTOPLEVEL_CONSTANTTYPEFILE=/public/helm_library/constanttype
-export GTOPLEVEL_ENVIRONMENTFILE=/public/helm_library/environment
-export MATHQL_DB_MAP=/home/zack/helm/mathql_db_map.txt
-
-export HELM_TMP_DIR=/tmp
-unset http_proxy
diff --git a/helm/gTopLevel/script.sh.sample b/helm/gTopLevel/script.sh.sample
new file mode 100755
index 000000000..9ce29ac34
--- /dev/null
+++ b/helm/gTopLevel/script.sh.sample
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+#/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:
+export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS:/home/sacerdot/miohelm/helm/hbugs/meta
diff --git a/helm/gTopLevel/triciclo.conf.xml.sample b/helm/gTopLevel/triciclo.conf.xml.sample
new file mode 100644
index 000000000..d84206e90
--- /dev/null
+++ b/helm/gTopLevel/triciclo.conf.xml.sample
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="utf-8"?>
+<helm_registry>
+  <value key="annotations.dir">file:///home/sacerdot/miohelm/objects</value>
+  <value key="annotations.url">file:///home/sacerdot/miohelm/objects</value>
+  <value key="getter.mode">remote</value>
+  <!-- <value key="getter.url">http://localhost:58081/</value> -->
+  <value key="getter.url">http://mowgli.cs.unibo.it:58081/</value>
+  <value key="triciclo.constant_type_file">/public/sacerdot/constanttype</value>
+  <value key="triciclo.environment_file">/public/sacerdot/environment</value>
+  <value key="triciclo.inner_types_file">/public/sacerdot/innertypes</value>
+  <value key="triciclo.proof_file">/public/sacerdot/currentproof</value>
+  <value key="triciclo.proof_file_type">/public/sacerdot/currentprooftype</value>
+  <!-- <value key="uwobo.url">http://localhost:58080/</value> -->
+  <value key="uwobo.url">http://mowgli.cs.unibo.it:58080/</value>
+</helm_registry>