summaryrefslogtreecommitdiffstats
path: root/stdlib/filename.mli
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2006-01-04 16:55:50 +0000
committerDamien Doligez <damien.doligez-inria.fr>2006-01-04 16:55:50 +0000
commit125ea40d4c63e7bae69e30c2b6ba2b598b1bd5c2 (patch)
tree6884b9b9821851f7f57add043646b54fe4cc85f3 /stdlib/filename.mli
parent3aaf0659a4c172c71cbf4828ed3bb6aa833c53e0 (diff)
fusion 3.09.0 -> 3.09.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/filename.mli')
-rw-r--r--stdlib/filename.mli13
1 files changed, 9 insertions, 4 deletions
diff --git a/stdlib/filename.mli b/stdlib/filename.mli
index 9b98bc74f..b379352c1 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