diff options
Diffstat (limited to 'tools/control/README-xenctl')
-rw-r--r-- | tools/control/README-xenctl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/control/README-xenctl b/tools/control/README-xenctl index 379ef28e71..3ff9173ab2 100644 --- a/tools/control/README-xenctl +++ b/tools/control/README-xenctl @@ -3,9 +3,6 @@ some notes on configuring xenctl... to build: - # edit xeno.bk/tools/control/build.properties - # change manger.url to your xenoserver: mousetrap-0.xeno.cl.cam.ac.uk - # change build.home to your xeno.bk path export PATH=/usr/groups/xeno/build_tools/bin:${PATH} # this next step has already been done. # cp $CATALINA_HOME/server/lib/catalina-ant.jar $ANT_HOME/lib @@ -40,6 +37,9 @@ to run: for development: + ## edit xeno.bk/tools/control/build.properties + # change manger.url to your xenoserver: mousetrap-0.xeno.cl.cam.ac.uk + # change build.home to your xeno.bk full path ## to "make install" in xeno.bk/tools/control instead of copying the war file cp $CATALINA_HOME/conf/tomcat-users.xml $CATALINA_HOME/conf/tomcat-users.orig sed -e 's/<tomcat-users>/<tomcat-users>\
<role rolename="standard"\/>\
<role rolename="manager"\/>\
<user username="hobbes" password="tiger" roles="standard,manager"\/>/' $CATALINA_HOME/conf/tomcat-users.orig > $CATALINA_HOME/conf/tomcat-users.xml |