35 lines
1.2 KiB
Diff
35 lines
1.2 KiB
Diff
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
|
|
|