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.