On 3 sept. 2013, at 19:14, Aditya Mahajan
[…] the synctex.gz file is not anymore deleted (however a utility file [file-name].tuc remains).
That (not deleting tuc file) is delebrate (as it saves time in successive runs). If you want to delete the tuc file, you can use --purgeall instead of --purge.
Thanks Aditya: actually that utility file .tuc can be deleted for some situations (for instance when one does a small test) and kept for others. Maybe for those who do not use ConTeXt from a Terminal, but rather from editors like TeXShop or TeXWorks, one could have a feature to pass typesetting options to mkiv, for instance like a \setuptypesetting command, to be put in the first five lines of a document, which accepts various parameters such as for example \setuptypesetting[purge=yes,synctex={yes,zipped},engine=mkiv] to pass options to mkiv. But this is probably too complicated. Best regards: OK