TEIDebian - Revision history

Dominique Meeùs: /* Documentation */ tei-xsl package

2018-04-19T09:36:12Z

‎Documentation: tei-xsl package

Pstadler: updated page to reflect the current status of the Debian packages

2017-07-11T14:38:57Z

updated page to reflect the current status of the Debian packages

Pstadler: /* Synopsis */

2017-07-11T14:06:05Z

‎Synopsis

Damir Cavar: /* Documentation */

2015-06-15T12:04:30Z

‎Documentation

Damir Cavar: /* Documentation */

2015-06-15T12:03:34Z

‎Documentation

Kshawkin: /* Additional notes */ wiki markup fix

2014-12-22T18:01:00Z

‎Additional notes: wiki markup fix

Mholmes: /* Documentation */

2013-04-11T02:58:42Z

‎Documentation

Mholmes: /* Documentation */

2013-04-11T02:57:43Z

‎Documentation

Mholmes: /* Additional notes */

2011-05-26T00:28:40Z

‎Additional notes

Mholmes: /* Additional notes */

2011-05-26T00:28:19Z

‎Additional notes

@@ Line 42: / Line 42: @@
 * Install the packages
-  apt-get install  tei-p5-doc  tei-p5-xsl tei-p5-schema tei-p5-source
+  apt-get install  tei-p5-doc  tei-xsl tei-p5-schema tei-p5-source
 == Tech support ==

@@ Line 28: / Line 28: @@
 == Documentation ==
 * Do the following to add the GPG key to your system:
-  sudo apt-key adv --keyserver wwwkeys.uk.pgp.net --recv-keys FEA4973F86A9A497
+  sudo apt-key adv --keyserver wwwkeys.uk.pgp.net --recv-keys 19CF3E497B9824DC
-* Add the following line to /etc/apt/sources.list
+* Add the following line to /etc/apt/sources.list (you'll need <code>apt-transport-https</code> installed)
-  deb http://tei.oucs.ox.ac.uk/teideb/binary ./
+  deb https://packages.tei-c.org/deb/binary ./
 * Refresh the package lists
@@ Line 42: / Line 40: @@
   apt-get update
-* Install the packages (it's possible that not quite all of these packages are strictly needed). If the system suggests you install any package with suffix -doc, it's usually a good idea to install it, since these are the documentation package matching the packages you're installing. The install is broken up into packages from the general ubuntu repository and packages from the TEI repository.
+* Install the packages
-  apt-get install psgml xmlstarlet debiandoc-sgml linuxdoc-sgml jing jing-trang-doc libjing-java rnv texlive-xetex
+  apt-get install  tei-p5-doc  tei-p5-xsl tei-p5-schema tei-p5-source
 == Tech support ==
-Contact Sebastian Rahtz with questions.
+Contact Peter Stadler or anyone else from the TEI Council with questions.
 == User community ==
@@ Line 63: / Line 55: @@
 == Current version number and date of release ==
--12-13: tei-emacs no longer depends on tdtd.
+* 2017-07-10: moved location of Debian packages to http://packages.tei-c.org/deb/ and created a new PGP key.
 == History of versions ==
 * 2007-11-05: updated to work with <oXygen/> v. 9.0
 * 2007-05-26: update
 == How to download or buy ==
-http://tei.oucs.ox.ac.uk/teideb/
+http://packages.tei-c.org/deb/
 == Additional notes ==

@@ Line 3: / Line 3: @@
 == Synopsis ==
-"This is a set of unofficial, unguaranteed, Debian packages for learning materials packaged by [http://www.oss-watch.ac.uk/ OSS Watch], and TEI-useful software and resources. They have been used to build Ubuntu and Knoppix remasters for OSS Watch and the TEI."
+This is a set of unofficial, unguaranteed, Debian packages with TEI-useful software and resources packaged by the TEI Technical Council.
-List of packages available at http://tei.oucs.ox.ac.uk/teideb/ .
+List of packages available at http://packages.tei-c.org/deb/ .
 == Features ==

@@ Line 30: / Line 30: @@
 Instructions for installation, assuming that you're installing the packages to generate TEI from subversion
 * Have a modern running Ubuntu / Debian system. I used Ubuntu 15.4
-* Do the following to add the GPG key to your system (this sometimes takes a long time, hence the long timeout value):
+* Do the following to add the GPG key to your system:
   sudo apt-key adv --keyserver wwwkeys.uk.pgp.net --recv-keys FEA4973F86A9A497

@@ Line 29: / Line 29: @@
 Instructions for installation, assuming that you're installing the packages to generate TEI from subversion
-* Have a modern running Ubuntu / Debian system. I used Ubuntu 10.4
+* Have a modern running Ubuntu / Debian system. I used Ubuntu 15.4
 * Do the following to add the GPG key to your system (this sometimes takes a long time, hence the long timeout value):
-  gpg --keyserver wwwkeys.pgp.net --keyserver-options timeout=300 --recv-keys FEA4973F86A9A497
+  sudo apt-key adv --keyserver wwwkeys.uk.pgp.net --recv-keys FEA4973F86A9A497
 * Add the following line to /etc/apt/sources.list

@@ Line 75: / Line 75: @@
 == Additional notes ==
 * At http://tei.oucs.ox.ac.uk/teideb/ you can also download a customized Ubuntu Live CD with these packages.
-* [[Setting_up_a_Jenkins_server]] explains how you can set up a continuous integration server using Ubuntu. A Jenkins server watches the TEI source code and compiles new versions of all the TEI products, including the TEI Debian packages, whenever a change is made to the source.
+* [[Setting up a Jenkins server]] explains how you can set up a continuous integration server using Ubuntu. A Jenkins server watches the TEI source code and compiles new versions of all the TEI products, including the TEI Debian packages, whenever a change is made to the source.

← Older revision		Revision as of 00:28, 26 May 2011
Line 70:		Line 70:
	== Additional notes ==		== Additional notes ==
	At http://tei.oucs.ox.ac.uk/teideb/ you can also download a customized Ubuntu Live CD with these packages.		At http://tei.oucs.ox.ac.uk/teideb/ you can also download a customized Ubuntu Live CD with these packages.
		+	[[Setting_up_a_Jenkins_server]] explains how you can set up a continuous integration server using Ubuntu. A Jenkins server watches the TEI source code and compiles new versions of all the TEI products, including the TEI Debian packages, whenever a change is made to the source.