]> matita.cs.unibo.it Git - helm.git/commitdiff
Many bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Nov 2000 17:54:40 +0000 (17:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Nov 2000 17:54:40 +0000 (17:54 +0000)
helm/configuration/install
helm/configuration/local/lib/helm/configuration.pl

index 5b19af19da846605db98fe2830b5b0c0ee79914a..de250745931aaac0dba98b705bebf76cdfd1ee6f 100755 (executable)
@@ -6,7 +6,7 @@ echo "* Files will be installed in \$root/local/lib/helm and *"
 echo "* in \$root/local/lib/etc/helm/                        *"
 echo "********************************************************"
 echo -n "\$root="
-read ROOT "buondi"
+read ROOT
 
 echo cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/
 cp local/lib/helm/configuration.pl $ROOT/local/lib/helm/
index deea890a8becd6011e521aeffc3991652364be96..f761e712909e2851cc655545dc16812829145c9c 100644 (file)
@@ -1,7 +1,10 @@
 use XML::Parser;
 
+use Env;
+my $HELM_CONFIGURATION_PREFIX = $ENV{"HELM_CONFIGURATION_PREFIX"};
 # this should be the only fixed constant
-$configuration_file = "/home/cadet/sacerdot/local/etc/helm/configuration.xml";
+$configuration_file =
+ $HELM_CONFIGURATION_PREFIX."/local/etc/helm/configuration.xml";
 
 $parser = new XML::Parser(Handlers => {Start => \&handle_start,
                                        End   => \&handle_end,