Visual Studio Code extension that allows you to quickly create or open temporary files. Forget manually creating files for notes, code snippets, or temporary data! Command: Quick Temp File: Create or ...

See for example write_temp_file_with_autodelete in libs/commons/UTmp.ml. In general it seems there can be races if one uses Filename.open_temp_filesince two domains could be selecting the same ...