Henry Oswald 61b8e67447 build latex first for faster images and compile clsi synctex 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 61b8e67447 build latex first for faster images and compile clsi synctex 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 879a23c857 fix templates & clsi set dynamically. and more robust bool vals from env vars 10 سال پیش

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.