Henry Oswald
|
8ccbfc7d32
|
don't put synctex in as a volume
|
2018-03-16 18:11:46 +00:00 |
|
Henry Oswald
|
3d9a93ad61
|
add logging of docker options
|
2018-03-16 17:37:36 +00:00 |
|
Henry Oswald
|
63145cc60c
|
add synctex back in
|
2018-03-16 16:22:39 +00:00 |
|
Henry Oswald
|
5739a2aeca
|
comment out synctex for moment
|
2018-03-16 16:04:26 +00:00 |
|
Henry Oswald
|
b202af3cf2
|
added docker runner into core codebase
supports both local command runner and docker runner
added docker files for tex live
also fixed tests so they exit correctly & removed debug lines
|
2018-03-14 15:44:49 +00:00 |
|