From 02fdcaff2d3e3c6dedc8867bff8671c5caa97e11 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Wed, 13 May 2020 22:14:52 +0200
Subject: [PATCH] try first storing the temporary file in user directory, only
 then in current directory

---
 src/misc/mktemp.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/misc/mktemp.c b/src/misc/mktemp.c
index 058ddfc6e..76c89c7b4 100644
--- a/src/misc/mktemp.c
+++ b/src/misc/mktemp.c
@@ -25,6 +25,13 @@ smktemp(char *id)
 {
     if (!id)
         id = "sp";
-
+    const char* const home = getenv("HOME");
+    if (home) {
+        return tprintf("%s/"TEMPFORMAT, home, id, getpid());
+    }
+    const char* const usr = getenv("USERPROFILE");
+    if (usr) {
+        return tprintf("%s\\"TEMPFORMAT, usr, id, getpid());
+    }
     return tprintf(TEMPFORMAT, id, getpid());
 }