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.