Plasma GitLab Archive
Projects Blog Knowledge

Module Netsys_tmp

module Netsys_tmp: sig .. end

Temporary files

val tmp_directory : unit -> string

Return the directory for temporary files. This is used as global default for functions that need such a directory. It is initialized with a reasonable default (OS-dependent).

val tmp_prefix : string -> string

tmp_prefix p: Enhance the prefix for temporary files by appending some digits to p. It is not ensures that the prefix is unique, though.

val set_tmp_directory : string -> unit

Set the directory for temporary files

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml