add synctex back in
This commit is contained in:
@@ -108,8 +108,8 @@ module.exports = DockerRunner =
|
|||||||
_getContainerOptions: (command, image, volumes, timeout, environment) ->
|
_getContainerOptions: (command, image, volumes, timeout, environment) ->
|
||||||
timeoutInSeconds = timeout / 1000
|
timeoutInSeconds = timeout / 1000
|
||||||
|
|
||||||
# if Settings.path?.synctexBinHostPath?
|
if Settings.path?.synctexBinHostPath?
|
||||||
# volumes[Settings.path.synctexBinHostPath] = "/opt/synctex:ro"
|
volumes[Settings.path.synctexBinHostPath] = "/opt/synctex:ro"
|
||||||
|
|
||||||
dockerVolumes = {}
|
dockerVolumes = {}
|
||||||
for hostVol, dockerVol of volumes
|
for hostVol, dockerVol of volumes
|
||||||
|
|||||||
Reference in New Issue
Block a user