From 6cfbd0c29743b50d4d6d759e1adfbeddb1b5d6e3 Mon Sep 17 00:00:00 2001 From: renaud gaudin Date: Thu, 9 Nov 2023 13:58:39 +0000 Subject: [PATCH] Use TMP_DIR (standard) instead of hard-coded /tmp Allows overriding it --- .github/scripts/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/common.py b/.github/scripts/common.py index 2af8c3b..26621a1 100644 --- a/.github/scripts/common.py +++ b/.github/scripts/common.py @@ -29,7 +29,7 @@ SOURCE_DIR = HOME / "SOURCE" ARCHIVE_DIR = HOME / "ARCHIVE" TOOLCHAIN_DIR = BASE_DIR / "TOOLCHAINS" INSTALL_DIR = BASE_DIR / "INSTALL" -TMP_DIR = Path("/tmp") +TMP_DIR = Path(os.getenv("TMP_DIR", "/tmp")) KBUILD_SOURCE_DIR = HOME / "kiwix-build" _ref = _environ.get("GITHUB_REF", "").split("/")[-1]