From 29fa6966f57c9e759a3d1f3cc9f0c29b67dd9173 Mon Sep 17 00:00:00 2001
From: Daniel Seybold <daniel.seybold@uni-ulm.de>
Date: Mon, 2 Mar 2020 13:33:50 +0100
Subject: [PATCH] fixed Docker build for bpkg

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 85fb11c..a808ea3 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -17,6 +17,7 @@ RUN add-apt-repository ppa:webupd8team/java -y && apt-get update && apt-get -y i
 #RUN rm -rf /var/www/html/ui && mv ui /var/www/html/ && chown www-data:www-data /var/www/html/ui
 
 # use bpkg to handle complex bash entrypoints
+ENV USER=root
 RUN curl -Lo- "https://raw.githubusercontent.com/bpkg/bpkg/master/setup.sh" | bash
 RUN bpkg install cha87de/bashutil -g
 ## add more bash dependencies, if necessary 
-- 
GitLab