Install jetty on debian

jetty-install-debian.sh

#!/bin/bash
# do in tmp
cd /tmp
JETTY_FILE='jetty-distribution-9.3.3.v20150827.tar.gz'
JETTY_FOLDER=${JETTY_FILE:0:-7}

# Download
wget http://archive.eclipse.org/jetty/9.3.3.v20150827/dist/$JETTY_FILE
# Extract
sudo tar zxvf $JETTY_FILE -C /opt/
# Move
sudo mv /opt/$JETTY_FOLDER/ /opt/jetty

# Add user and create service
sudo addgroup --system jetty
sudo adduser --system --home /opt/jetty/ --ingroup jetty jetty
sudo chown -R jetty:jetty /opt/jetty/
sudo ln -s /opt/jetty/bin/jetty.sh /etc/init.d/jetty

# init config
sudo sh -c  'echo "JETTY_HOME=/opt/jetty
JETTY_USER=jetty
JETTY_PORT=8080
JETTY_HOST=127.0.0.1
JETTY_LOGS=/opt/jetty/logs/" > /etc/default/jetty'

sudo service /etc/init.d/jetty start