comment out synctex for moment

This commit is contained in:
Henry Oswald 2018-03-16 16:04:26 +00:00
parent faedf16704
commit 29dcef3b9e

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