Plasma GitLab Archive
Projects Blog Knowledge

(* $Id: netsys_tmp.mli 1518 2010-12-19 19:33:45Z gerd $ *)

(** 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