From 51b67330554d7d38c9c603f6a78038bd96bf6db5 Mon Sep 17 00:00:00 2001
From: Felix Lange <fjl@twurst.com>
Date: Thu, 29 Sep 2022 00:24:34 +0200
Subject: [PATCH] define HOME in ppa container

---
 build/bot/Dockerfile.ppa | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build/bot/Dockerfile.ppa b/build/bot/Dockerfile.ppa
index 2f9c5e5891..0c10420161 100644
--- a/build/bot/Dockerfile.ppa
+++ b/build/bot/Dockerfile.ppa
@@ -17,3 +17,8 @@ RUN git config --global --add safe.directory /source
 ENV GOPATH=/cache/go
 ENV GOCACHE=/cache/go/cache
 ENV GOMODCACHE=/cache/go/modcache
+
+# Some tools need HOME, create it in /tmp because that's the only location the build
+# user can write to outside of /source and /cache.
+RUN mkdir /tmp/home && chmod 777 /tmp/home
+ENV HOME=/tmp/home