diff options
author | Jesse Morgan <jesse@jesterpm.net> | 2013-04-01 20:08:21 -0700 |
---|---|---|
committer | Jesse Morgan <jesse@jesterpm.net> | 2013-04-01 20:08:21 -0700 |
commit | c62100698c95645c50f78d1100bbcdd5d8507470 (patch) | |
tree | 70d7ce60381891589588d8ede50aa8b8a5de49f4 | |
parent | 95efa51472c2549aa5e205a644cdf0534e2f78df (diff) |
Added build.properties
-rwxr-xr-x | scripts/setup-tomcat.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/setup-tomcat.sh b/scripts/setup-tomcat.sh index 569bd79..d6137ac 100755 --- a/scripts/setup-tomcat.sh +++ b/scripts/setup-tomcat.sh @@ -33,6 +33,16 @@ cat > tomcat/conf/tomcat-users.xml << EOF EOF chmod 600 tomcat/conf/tomcat-users.xml +# Create the build.properties for other projects +echo > tomcat/conf/build.properties << EOF + +# From ${HOME}/opt/tomcat/conf/build.properties +catalina.home=${HOME}/opt/tomcat +manager.username=${USER} +manager.password=${PASSWORD} +EOF +chmod 600 tomcat/conf/build.properties + # Setup environment if [ -z "$JAVA_HOME" ]; then JAVA_HOME=/usr/lib/jvm/java-7-oracle |