From 125ea40d4c63e7bae69e30c2b6ba2b598b1bd5c2 Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Wed, 4 Jan 2006 16:55:50 +0000 Subject: fusion 3.09.0 -> 3.09.1 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- stdlib/filename.mli | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) (limited to 'stdlib/filename.mli') diff --git a/stdlib/filename.mli b/stdlib/filename.mli index 9b98bc74f7..b379352c1d 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -77,10 +77,7 @@ val temp_file : string -> string -> string (readable and writable only by the file owner). The file is guaranteed to be different from any other file that existed when [temp_file] was called. - Under Unix, the temporary directory is [/tmp] by default; if set, - the value of the environment variable [TMPDIR] is used instead. - Under Windows, the name of the temporary directory is the - value of the environment variable [TEMP], or [C:\temp] by default. *) +*) val open_temp_file : ?mode: open_flag list -> string -> string -> string * out_channel @@ -93,6 +90,14 @@ val open_temp_file : It can contain one or several of [Open_append], [Open_binary], and [Open_text]. The default is [[Open_text]] (open in text mode). *) +val temp_dir_name : string +(** The name of the temporary directory: + Under Unix, the value of the [TMPDIR] environment variable, or "/tmp" + if the variable is not set. + Under Windows, the value of the [TEMP] environment variable, or "." + if the variable is not set. +*) + val quote : string -> string (** Return a quoted version of a file name, suitable for use as one argument in a shell command line, escaping all shell -- cgit v1.2.1