| #!/bin/sh |
| |
| # Builds and deploys into Jetty; primarily for debugging |
| |
| jetty=$1 |
| if [ -z "$jetty" ] |
| then |
| echo >&2 "usage: $0 jettydir" |
| exit 1 |
| fi |
| if ! [ -f "$jetty/etc/jetty.xml" ] |
| then |
| echo >&2 "error: $jetty is not a Jetty installation" |
| exit 1 |
| fi |
| |
| out=appdist/target/gerrit-*-bin.dir && |
| ctx="$jetty/contexts/gerrit.xml" && |
| |
| (cd appdist && mvn clean package) && |
| |
| cp devdb/jdbc-postgresql.jar "$jetty/lib/plus" && |
| cp $out/gerrit-*/www/gerrit-*.war "$jetty/webapps/gerrit.war" && |
| |
| if [ -f "$ctx" ] |
| then |
| touch "$ctx" |
| else |
| cp jetty_gerrit.xml "$ctx" && |
| echo "You need to edit and configure $ctx" |
| fi |
