From 9406edbc9ea1e9df4e5141f0945738e0ead4bf5d Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Fri, 25 Feb 2022 11:54:00 +0000
Subject: [PATCH] Debian repository: set HOME variable

---
 packaging/dpkg-repo.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packaging/dpkg-repo.sh b/packaging/dpkg-repo.sh
index 0d6747e..b4b0f17 100755
--- a/packaging/dpkg-repo.sh
+++ b/packaging/dpkg-repo.sh
@@ -2,6 +2,8 @@
 
 set -ex
 
+export HOME="/home/builder"
+
 prog_NAME=$(basename "${0}")
 
 warn()