Super User is a question and answer site for computer enthusiasts and power users. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've downloaded into my home directory on my Ubuntu 8.04 box. Where is the appropriate place to unzip it?

I put it in /opt because /opt is supposedly for "storing random data that has no other logical destination", and I could think of no other logical destination.

I was thinking that /usr/local might be the right place, but it didn't seem like it was unquestionably the right place. I read somewhere that /usr/local is for "user-installed applications" but a webserver doesn't really seem like an "application" to me. Maybe that's just poor wording by the author? (Or poor understanding of what "application" means by me?)

If anyone knows what the appropriate/idiomatic/"linux-y" place to put Jetty is, and you can explain why that's the case, I think that would be very helpful. Thanks.

share|improve this question

migrated from Jul 4 '10 at 2:44

This question came from our site for professional and enthusiast programmers.

personally, i'm installing in /opt because it is empty and only three letters. in the end it doesn't matter.

and a general hint, create a symlink to the current version. you don't have to update defined paths later (i.e. "ln -s jetty-version-x.y/ current" where current points to the jetty directory and you can update it later with "ln -sf ...")

share|improve this answer

An 'apt-get install jetty' would install jetty 5.1.14-1 in /usr/share/jetty. Check out the file list found here:

This might be useful for orientation while manually installing jetty 6.1.14.

share|improve this answer

You must log in to answer this question.