Installer Jetty-6 sur debian Lenny

Encore une procédure d’installation!

• Télécharger la dernière version de Jetty depuis le site : http://dist.codehaus.org/jetty/
  • wget http://dist.codehaus.org/jetty/jetty-6.1.25/jetty-6.1.25.zip
• Dé-compresser l’archive.
  • au besoin installer unzip (apt-get install unzip)
  • unzip jetty-6.1.25.zip

il est désormais possible de démarrer l’application avec la commande : java -jar start.jar

Mais faisons les choses correctement ! ( source tiré de : http://doc.ubuntu-fr.org/jetty )

Afin de respecter la philosophie GNU/Linux sur l’installation des logiciels (au niveau arborescence), vous ne devez pas laisser un simple dossier de sources dans votre dossier personnel. Le principe est de déplacer ce dossier dans /opt/. D’autre part, ceci rendra le logiciel installé pour tous les utilisateurs du système et non seulement pour vous.

Déplacement vers /opt/jetty

mv ~/jetty- /opt/jetty

Utilisateur et droits
Le propriétaire des sources est vous-même, il est préférable de créer un utilisateur dédié à Jetty, pour cela :

addgroup jetty
adduser jetty --no-create-home --ingroup jetty

Un mot de passe sera demandé (considérons « password » par exemple).
Appliquer les changements à Jetty :

chown -R jetty:jetty /opt/jetty/*
chmod -R 755 /opt/jetty/*

Automatiser le lancement de Jetty
Pour cela, nous allons utilisez le script de lancement jetty.sh des sources de Jetty :

ln -s /opt/jetty/bin/jetty.sh /etc/init.d/jetty
sudo update-rc.d jetty defaults

Jetty sera désormais lancé à chaque démarrage de la machine.

Démarrage / Arrêt Depuis les sources, Jetty peut être lancé avec la commande :

java -jar start.jar etc/jetty.xml

[CTRL+C] dans votre terminal arrêtera Jetty.

Les commandes classiques de démarrage, arrêt et redémarrage

/etc/init.d/jetty start
/etc/init.d/jetty stop
/etc/init.d/jetty restart