add synctex back in

This commit is contained in:
Henry Oswald 2018-03-16 16:22:39 +00:00
parent 29dcef3b9e
commit 48eb7129a7

View file

@ -108,8 +108,8 @@ module.exports = DockerRunner =
_getContainerOptions: (command, image, volumes, timeout, environment) ->
timeoutInSeconds = timeout / 1000
# if Settings.path?.synctexBinHostPath?
# volumes[Settings.path.synctexBinHostPath] = "/opt/synctex:ro"
if Settings.path?.synctexBinHostPath?
volumes[Settings.path.synctexBinHostPath] = "/opt/synctex:ro"
dockerVolumes = {}
for hostVol, dockerVol of volumes