|
Last change
on this file since 31323 was 31323, checked in by davidb, 7 years ago |
|
Download script plus setup instructions
|
-
Property svn:executable
set to
*
|
|
File size:
681 bytes
|
| Line | |
|---|
| 1 |
|
|---|
| 2 | jetty_dist=jetty-distribution-7.6.21.v20160908
|
|---|
| 3 | jetty_tar="$jetty_dist.tar.gz"
|
|---|
| 4 |
|
|---|
| 5 | if [ ! -e "$jetty_tar" ] ; then
|
|---|
| 6 | echo "Downloading: $jetty_tar"
|
|---|
| 7 | wget "http://central.maven.org/maven2/org/eclipse/jetty/jetty-distribution/7.6.21.v20160908/$jetty_tar"
|
|---|
| 8 | fi
|
|---|
| 9 |
|
|---|
| 10 | if [ ! -d "$jetty_dist" ] ; then
|
|---|
| 11 | echo "Untarring $jetty_tar"
|
|---|
| 12 | tar xvzf "$jetty_tar"
|
|---|
| 13 | fi
|
|---|
| 14 |
|
|---|
| 15 | echo ""
|
|---|
| 16 | echo "****"
|
|---|
| 17 | echo "* To change the Jetty server to run on a custom port edit:"
|
|---|
| 18 | echo "* <Set name="port"><Property name="jetty.port" default="8080"/></Set>"
|
|---|
| 19 | echo "* in:"
|
|---|
| 20 | echo "* $jetty_dist/etc/jetty.xml"
|
|---|
| 21 | echo "****"
|
|---|
| 22 | echo "* To start the server run:"
|
|---|
| 23 | echo "* cd \$jetty_dist\" && java -jar start.jar"
|
|---|
| 24 | echo "****"
|
|---|
| 25 | echo ""
|
|---|
| 26 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
