packages: stanse/stanse.sh - do not change STANSE_HOME if it is already set.

[pawelz]

Author: pawelz                       Date: Tue Oct 13 13:27:27 2009 GMT
Module: packages                      Tag: HEAD
---- Log message:
- do not change STANSE_HOME if it is already set.

---- Files affected:
packages/stanse:
   stanse.sh (1.1 -> 1.2) 

---- Diffs:

================================================================
Index: packages/stanse/stanse.sh
diff -u packages/stanse/stanse.sh:1.1 packages/stanse/stanse.sh:1.2
--- packages/stanse/stanse.sh:1.1	Tue Oct 13 15:18:08 2009
+++ packages/stanse/stanse.sh	Tue Oct 13 15:27:22 2009
@@ -1,7 +1,9 @@
 #!/bin/sh
 
 CLASSPATH=$(build-classpath-directory /usr/share/java/stanse):$(find-jar stanse)
-echo $CLASSPATH
 export CLASSPATH
-export STANSE_HOME=$HOME/.stanse
+STANSE_HOME=${STANSE_HOME:-"$HOME/.stanse"}
+export STANSE_HOME
+mkdir $STANSE_HOME
+
 java cz.muni.stanse.Stanse -gui
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/stanse/stanse.sh?r1=1.1&r2=1.2&f=u