comment out synctex for moment

This commit is contained in:
Henry Oswald
2018-03-16 16:04:26 +00:00
parent 9f8a68be38
commit 5739a2aeca

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