From 517ec5ef7e873c8c75fa5f21f4b54e423fc21955 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 15 Nov 2000 16:13:18 +0000 Subject: [PATCH] Very dangerous bug fond!!! The HELM_CONFIGURATION_PREFIX can't have a double slash in the middle or a slash at the end due to the URI specifications --- helm/interface/cadet | 11 ++++++----- helm/interface/servers.txt | 1 - 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/helm/interface/cadet b/helm/interface/cadet index 4a7707b2d..7fc938248 100755 --- a/helm/interface/cadet +++ b/helm/interface/cadet @@ -1,9 +1,9 @@ #! /bin/sh -export PATH=/home/cadet/sacerdot/jdk118/bin:$PATH +export PATH=~/HELM/installation/jdk118/bin:$PATH #export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_1/xalan.jar:/home/cadet/sacerdot/xalan-j_1_1/xerces.jar:. -export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_2/xalan.jar:/home/cadet/sacerdot/xalan-j_1_2/xerces.jar:. +export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/xalan-j_1_2/xerces.jar:. #export CLASSPATH=/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xalan.jar:/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xerces.jar:. #export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/xalan_1_1/xalan.jar @@ -11,13 +11,14 @@ export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_2/xalan.jar:/home/cadet/sacerdot #export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/saxon-5.3.2/saxon.jar # Per (my)Coq 6.3.0 -#export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH -export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot +# WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!! +export HELM_CONFIGURATION_PREFIX=~/HELM/installation export T1LIB_CONFIG=./t1.config # Stix font xset fp -xset fp+ /home/cadet/sacerdot/fonts/ +xset fp+ ~/HELM/installation/fonts/ +xset fp rehash diff --git a/helm/interface/servers.txt b/helm/interface/servers.txt index a0375acd1..b91a71522 100644 --- a/helm/interface/servers.txt +++ b/helm/interface/servers.txt @@ -1,3 +1,2 @@ -http://cadet/helm http://caristudenti.students.cs.unibo.it/~sacerdot/helm http://pagadebit.students.cs.unibo.it/really_very_local/helm/PARSER/examples -- 2.39.2