> On 20. Jul 2023, at 17:38, Hans Hagen <j.ha...@xs4all.nl> wrote: > > patch in that file: > > local popen = io.popen >
Thank you, that fixes it! Thomas ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / https://www.ntg.nl/mailman/listinfo/ntg-context webpage : https://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : https://contextgarden.net ___________________________________________________________________________________