creylopez/Overleaf @ 9646654c481bfee3a504ab718e1b76fa47b2da21 - Gogs

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

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.