diff --git a/dists/jetty-deb/pom.xml b/dists/jetty-deb/pom.xml deleted file mode 100644 index 9ce00e1c93b..00000000000 --- a/dists/jetty-deb/pom.xml +++ /dev/null @@ -1,103 +0,0 @@ - - 4.0.0 - - org.eclipse.jetty.dist - dist-parent - 9.0.0-SNAPSHOT - - jetty-deb - Jetty :: Unix Distributions :: Debian - deb - - - - org.mortbay.jetty.toolchain - unix-maven-plugin - 1.0-alpha-6.1 - true - - Jetty Project - jetty-dev@eclipse.org - Core Jetty ${project.version} Distribution - Jetty provides an Web server and javax.servlet - container, plus support for Web Sockets, OSGi, JMX, JNDI, - JASPI, AJP and many other integrations. These components are - open source and available for commercial use and - distribution. - - false - optional -
java
- - - - jetty-server - - - org.eclipse.jetty:jetty-distribution:zip - /usr/share/jetty9 - /jetty-distribution-${project.version}(.*) - $1 - - jetty-distribution-*/javadoc - jetty-distribution-*/javadoc/** - jetty-distribution-*/logs/** - jetty-distribution-*/bin/** - jetty-distribution-*/etc/** - jetty-distribution-*/webapps/** - jetty-distribution-*/*.html - jetty-distribution-*/*.txt - - - - org.eclipse.jetty:jetty-distribution:zip - /usr/share/doc/jetty9 - /jetty-distribution-${project.version}(.*) - $1 - - jetty-distribution-*/*.html - jetty-distribution-*/*.txt - jetty-distribution-*/** - - - - org.eclipse.jetty:jetty-distribution:zip - /etc/jetty9 - /jetty-distribution-${project.version}(.*) - $1 - - jetty-distribution-*/etc/** - - - - - - - jetty-test-webapp - test-webapp - - - org.eclipse.jetty:jetty-distribution:zip - /var/lib/jetty9/webapps - /jetty-distribution-${project.version}(.*) - $1 - - jetty-distribution-*/webapps/** - - - - - - - - - - - - org.eclipse.jetty - jetty-distribution - ${project.version} - zip - - - diff --git a/dists/jetty-deb/src/main/unix/scripts/postinst b/dists/jetty-deb/src/main/unix/scripts/postinst deleted file mode 100644 index f6d78139b4e..00000000000 --- a/dists/jetty-deb/src/main/unix/scripts/postinst +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/bash - -LOG_DIR=/var/lib/jetty9/logs -WEBAPP_DIR=/var/lib/jetty9/webapps - -# copy the jetty start script into place -cp /usr/share/jetty9/bin/jetty.sh /etc/init.d/jetty - -# make it generally executable -chmod 755 /etc/init.d/jetty - -# ensure we have a logging directory -if [ ! -d "$LOG_DIR" ]; then - mkdir $LOG_DIR -fi - -# ensure we have a webapps directory -if [ ! -d "$WEBAPP_DIR" ]; then - mkdir $WEBAPP_DIR -fi diff --git a/dists/jetty-deb/src/main/unix/scripts/postrm b/dists/jetty-deb/src/main/unix/scripts/postrm deleted file mode 100644 index 1f7f3e344b4..00000000000 --- a/dists/jetty-deb/src/main/unix/scripts/postrm +++ /dev/null @@ -1,48 +0,0 @@ -#!/bin/bash - -#rm -f /etc/init.d/jetty - - case "$1" in - purge) - [...] - # find first and last SYSTEM_UID numbers - for LINE in `grep SYSTEM_UID /etc/adduser.conf | grep -v "^#"`; do - case $LINE in - FIRST_SYSTEM_UID*) - FIST_SYSTEM_UID=`echo $LINE | cut -f2 -d '='` - ;; - LAST_SYSTEM_UID*) - LAST_SYSTEM_UID=`echo $LINE | cut -f2 -d '='` - ;; - *) - ;; - esac - done - # Remove system account if necessary - CREATEDUSER="jetty" - if [ -n "$FIST_SYSTEM_UID" ] && [ -n "$LAST_SYSTEM_UID" ]; then - if USERID=`getent passwd $CREATEDUSER | cut -f 3 -d ':'`; then - if [ -n "$USERID" ]; then - if [ "$FIST_SYSTEM_UID" -le "$USERID" ] && \ - [ "$USERID" -le "$LAST_SYSTEM_UID" ]; then - echo -n "Removing $CREATEDUSER system user.." - deluser --quiet $CREATEDUSER || true - echo "..done" - fi - fi - fi - fi - # Remove system group if necessary - CREATEDGROUP="jetty" - FIRST_USER_GID=`grep ^USERS_GID /etc/adduser.conf | cut -f2 -d '='` - if [ -n "$FIST_USER_GID" ] then - if GROUPGID=`getent group $CREATEDGROUP | cut -f 3 -d ':'`; then - if [ -n "$GROUPGID" ]; then - if [ "$FIST_USER_GID" -gt "$GROUPGID" ]; then - echo -n "Removing $CREATEDGROUP group.." - delgroup --only-if-empty $CREATEDGROUP || true - echo "..done" - fi - fi - fi - fi \ No newline at end of file diff --git a/dists/jetty-deb/src/main/unix/scripts/preinst b/dists/jetty-deb/src/main/unix/scripts/preinst deleted file mode 100644 index 423b675b2a6..00000000000 --- a/dists/jetty-deb/src/main/unix/scripts/preinst +++ /dev/null @@ -1,61 +0,0 @@ -#!/bin/bash - - case "$1" in - install|upgrade) - - # If the package has default file it could be sourced, so that - # the local admin can overwrite the defaults - - [ -f "/etc/default/jetty9" ] && . /etc/default/jetty9 - - # Sane defaults: - - [ -z "$SERVER_HOME" ] && SERVER_HOME=/usr/share/jetty9 - [ -z "$SERVER_USER" ] && SERVER_USER=jetty - [ -z "$SERVER_NAME" ] && SERVER_NAME="Jetty-9 Http and Servlet Engine" - [ -z "$SERVER_GROUP" ] && SERVER_GROUP=jetty - - # Groups that the user will be added to, if undefined, then none. - ADDGROUP="" - - # create user to avoid running server as root - # 1. create group if not existing - if ! getent group | grep -q "^$SERVER_GROUP:" ; then - echo -n "Adding group $SERVER_GROUP.." - addgroup --quiet --system $SERVER_GROUP 2>/dev/null ||true - echo "..done" - fi - # 2. create homedir if not existing - test -d $SERVER_HOME || mkdir $SERVER_HOME - # 3. create user if not existing - if ! getent passwd | grep -q "^$SERVER_USER:"; then - echo -n "Adding system user $SERVER_USER.." - adduser --quiet \ - --system \ - --ingroup $SERVER_GROUP \ - --no-create-home \ - --disabled-password \ - $SERVER_USER 2>/dev/null || true - echo "..done" - fi - # 4. adjust passwd entry - usermod -c "$SERVER_NAME" \ - -d $SERVER_HOME \ - -g $SERVER_GROUP \ - $SERVER_USER - # 5. adjust file and directory permissions - if ! dpkg-statoverride --list $SERVER_HOME >/dev/null - then - chown -R $SERVER_USER:$SERVER_GROUP $SERVER_HOME - chmod u=rwx,g=rxs,o= $SERVER_HOME - fi - # 6. Add the user to the ADDGROUP group - if test -n $ADDGROUP - then - if ! groups $SERVER_USER | cut -d: -f2 | \ - grep -qw $ADDGROUP; then - adduser $SERVER_USER $ADDGROUP - fi - fi - ;; - configure) \ No newline at end of file diff --git a/dists/pom.xml b/dists/pom.xml deleted file mode 100644 index c6ad38dc9f2..00000000000 --- a/dists/pom.xml +++ /dev/null @@ -1,26 +0,0 @@ - - - jetty-project - org.eclipse.jetty - 9.0.0-SNAPSHOT - - 4.0.0 - org.eclipse.jetty.dist - dist-parent - pom - Jetty :: Distribution :: Parent - - - linux-packaging - - - jetty-deb - - - - -