Henry Oswald 9646654c48 put apt-get installs on same line and set $TEX_LIVE_DOCKER_IMAGE via env var 10 anni fa
..
init_scripts ba2ef4f6bd move init scripts to init dir 10 anni fa
nginx 4ce4cc596f change localhost to 127.0.0.1 which should help with ipv6 10 anni fa
runit 97ea2b6aa1 Initial Dockerfile image build 11 anni fa
.gitignore 82e00ce700 ignore api-data 10 anni fa
Dockerfile 9646654c48 put apt-get installs on same line and set $TEX_LIVE_DOCKER_IMAGE via env var 10 anni fa
Gruntfile.coffee f33d82088e use dir of versions not version 10 anni fa
README.md 252cbed435 Update README.md 10 anni fa
git-revision.js 3e7595f3f2 add support for grunt build 10 anni fa
package.json 3e7595f3f2 add support for grunt build 10 anni fa
services.js 3e7595f3f2 add support for grunt build 10 anni fa
settings.coffee 9646654c48 put apt-get installs on same line and set $TEX_LIVE_DOCKER_IMAGE via env var 10 anni fa

README.md

Install

Please see the offical wiki for install guides

Building image

The docker files can be built with grunt. We do this as there are some other tasks which are done using grunt such as marking the versions of each repo used.