From 12fc339efb1d287593b53da1dfddc88f876f8e7d Mon Sep 17 00:00:00 2001

From: "Richard W.M. Jones" <rjones@redhat.com>

Date: Wed, 6 Jul 2016 14:12:28 +0100

Subject: [PATCH 7/7] Use /var/tmp instead of /tmp if TMPDIR is not set.

See: https://bugzilla.redhat.com/show_bug.cgi?id=1316479#c12

Thanks: Junqin Zhou

---

 src/supermin.ml | 7 +++++--

 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/supermin.ml b/src/supermin.ml

index b0532e5..a09b498 100644

--- a/src/supermin.ml

+++ b/src/supermin.ml

@@ -57,9 +57,12 @@ let main () =

   if try Filename.is_relative (getenv "TMPDIR") with Not_found -> false then

     error "error: environment variable $TMPDIR must be an absolute path";

-  (* Create a temporary directory for scratch storage. *)

+  (* Create a temporary directory for scratch storage.  Because it's

+   * for large files, use /var/tmp if TMPDIR is not set.

+   *)

   let tmpdir =

-    let tmpdir = Filename.temp_file "supermin" ".tmpdir" in

+    let temp_dir = try getenv "TMPDIR" with Not_found -> "/var/tmp" in

+    let tmpdir = Filename.temp_file ~temp_dir "supermin" ".tmpdir" in

     unlink tmpdir;

     mkdir tmpdir 0o700;

     at_exit

-- 

2.7.4