Re: [Tei-council] workshop "Building the TEI Guidelines locally"

Here's the meeting info: To join the video meeting, click this link: https://meet.google.com/zqt-kpbk-bas Otherwise, to join by phone, dial +1 304-760-9422 and enter this PIN: 514 228 370# To view more phone numbers, click this link: https://tel.meet/zqt-kpbk-bas?hs=5 And let's do chat in Slack so there's a record. Hugh On Tue, Dec 17, 2019 at 6:19 AM Hugh Cayless wrote:

Amusingly, Peter and I disagree on the suitability of reusing the Jenkins image for simple building and testing, but it really doesn’t matter which one you use. You may find the directions in http://teic.github.io/TCW/testing_and_building.html a bit more step-by-step and easier to follow. But again, you’ll be doing the same things, so it doesn’t matter. I am strongly, and perhaps pathologically biased in favor of limiting complexity where possible and it colors my decisions 🙂.

Hugh

Sent from my phone.

On Dec 17, 2019, at 02:33, Peter Stadler wrote:

Dear all,

tomorrow we’ll be having our little workshop on how to build the TEI Guidelines (and Stylesheets) locally and although I’m quite late, may I ask you to prepare your computers by installing Docker (Community Edition) [1] and download (aka ‚pull‘) the teic/jenkins image?

That is, once you have Docker installed (and the Docker daemon is running; you can tell when the little Docker whale stops loading in your system tray) you simply hit `docker pull teic/jenkins` on the command line. This will take some minutes (depending on your connection) since the image is about 800 MB!

Oh, and of course you will need to have a clone of the TEI [2] and the Stylesheets repo [3] on your machine.

Best Peter

[1] https://docs.docker.com/v17.09/engine/installation/ [2] https://github.com/TEIC/TEI [3] https://github.com/TEIC/Stylesheets

_______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council