Would somebody mind committing these for me?
1) It allows $GUMP_WORKSPACE to override the `hostname` setting for
{workspace}.xml
[My machine was renamed to be called "build", and build.xml couldn't be a
workspace as it was taken.]
2) It does a cp -R of profile information, so folks like me w/ a site
sub-directory w/ profile & local tweaks, get it all.
He is an Eclipse CVS patch (no idea if it is useful to anybody) and the new
file.
regards
Adam
--
<http://www.try.sybase.com>
Experience Sybase Technology ...
Index: gump.sh
===================================================================
RCS file: /home/cvspublic/jakarta-gump/gump.sh,v
retrieving revision 1.8
diff -u -r1.8 gump.sh
--- gump.sh 26 Jun 2003 06:39:55 -0000 1.8
+++ gump.sh 17 Jul 2003 13:42:21 -0000
@@ -37,6 +37,10 @@
export GUMP_LOG=$GUMP_LOG_DIR/gump.html
export GUMP_PROFILE_LOG_DIR=$GUMP_LOG_DIR/myprofile
+if [ -z "$GUMP_WORKSPACE" ] ; then
+ export GUMP_WORKSPACE=${GUMP_HOST}
+fi
+
export SEPARATOR='------------------------------------------------------- G U M P'
#
@@ -75,8 +79,8 @@
mkdir $GUMP_PROFILE_LOG_DIR;
fi
cp $GUMP/gump.sh $GUMP_PROFILE_LOG_DIR
-cp $GUMP_HOST.xml $GUMP_PROFILE_LOG_DIR
-cp `grep profile $GUMP_HOST.xml | cut -d\" -f2` $GUMP_PROFILE_LOG_DIR
+cp ${GUMP_WORKSPACE}.xml $GUMP_PROFILE_LOG_DIR
+cp -R `grep profile ${GUMP_WORKSPACE}.xml | cut -d\" -f2` $GUMP_PROFILE_LOG_DIR
@@ -107,7 +111,7 @@
#
cd $GUMP
echo $SEPARATOR >> $GUMP_LOG
-bash gen.sh ${GUMP_HOST}.xml >> $GUMP_LOG 2>&1
+bash gen.sh ${GUMP_WORKSPACE}.xml >> $GUMP_LOG 2>&1
echo >> $GUMP_LOG
#
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
