Sure, it does come from the repositories. Have a look here: https://help.ubuntu.com/community/Repositories/Ubuntu
Also, the package itself has a maintainer, and some metainformations. Do this in a terminal to get additional informations: $ apt-cache show tomcat7 You should get something like this: Package: tomcat7 Priority: optional Section: java Installed-Size: 364 Maintainer: Ubuntu Developers <ubuntu-devel-disc...@lists.ubuntu.com> Original-Maintainer: Debian Java Maintainers <pkg-java-maintain...@lists.alioth.debian.org> Architecture: all Version: 7.0.52-1 Depends: tomcat7-common (>= 7.0.52-1), ucf, adduser, debconf (>= 0.5) | debconf-2.0 Recommends: authbind Suggests: tomcat7-docs (>= 7.0.52-1), tomcat7-admin (>= 7.0.52-1), tomcat7-examples (>= 7.0.52-1), tomcat7-user (>= 7.0.52-1), libtcnative-1 (>= 1.1.24) Filename: pool/main/t/tomcat7/tomcat7_7.0.52-1_all.deb Size: 35564 MD5sum: d68cb5bd4d8955d053fc96f324abb7e7 SHA1: 79e7474cb295194f5acaba7be642eb252f5fcbe0 SHA256: d3f342b49fb35902448bfafb85201ede13eb0b64d72548e66f265ea8a9911aa6 Description-fr: Moteur de servlet et JSP Apache Tomcat implémente les spécifications Java Servlet et JavaServer Pages (JSP) de Sun Microsystems, et fournit un environnement serveur web HTTP « pur Java » pour faire fonctionner le code Java. . Ce paquet contient seulement les scripts de démarrage pour le démon du système. Aucune documentation ou application ne sont incluses ici, veuillez installer les paquets tomcat7-docs et tomcat7-examples si vous le souhaitez. Installez le paquet authbind si vous avez besoin d'utiliser Tomcat sur les ports 1-1023. Installez tomcat7-user au lieu de ce paquet si vous ne voulez pas que Tomcat démarre en tant que service. Description-md5: 71d2a54f759941814ab4cf7873094b26 Homepage: http://tomcat.apache.org Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 5y Task: tomcat-server If you want to get the source, you can do the following: sudo apt-get install build-essential sudo apt-get build-dep tomcat7 apt-get source tomcat7 Then you'll get a directory with the package source (including tomcat and the patch debian/ubuntu maintainers applied). Then: $ cd tomcat7-<version> (whatever the directory is named) $ dpkg-buildpackage will build the package from the source you just downloaded. Regards, Franck Le 21/04/2014 07:08, Leo Donahue a écrit : > > On 04/20/2014 08:29 PM, Everton H. P. Custódio wrote: >> Hi, >> >> >> 2014-04-20 23:43 GMT-03:00 Leo Donahue <donahu...@gmail.com>: >> >>> About two weeks into learning linux on Ubuntu 12.04 LTS >>> >>> Issuing that command, where does that Tomcat7 come from? >>> >>> >> It comes from Ubuntu's repository. You can check the repositories in >> 'Software and Updates' options in Ubuntu. > > I'm not sure I see the same thing you are describing. > > Under Ubuntu Software Center, and then from the Edit/Software Sources > menu there is a dialog showing "Download from" on the Ubuntu Software > tab which just says "Server for United States". I have an option to > pick from several US mirrors. Tomcat7 could be coming from any one of > those mirror sites? > > I think I will just stick with using the tar.gz file from the > tomcat.apache.org site for now until I can get a better feel for this OS. > > Thanks, > Leo > > --------------------------------------------------------------------- > To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org > For additional commands, e-mail: users-h...@tomcat.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org For additional commands, e-mail: users-h...@tomcat.apache.org