From 9b56572b2748a66eb58b7ebfa55d6afc2974e2c6 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 12 Feb 2020 13:07:30 +0100
Subject: [PATCH] Fix GRADLE_USER_HOME setting in Binder configuration

---
 binder/postBuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binder/postBuild b/binder/postBuild
index b3f5037..bdaede8 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -5,7 +5,7 @@ set -o nounset
 set -o pipefail
 set -o verbose
 
-GRADLE_USER_HOME="${PWD}" ./gradlew shadowJar
+GRADLE_USER_HOME="${PWD}/.gradle" ./gradlew shadowJar
 java -jar build/libs/prob2-jupyter-kernel-*-all.jar install --user
 # Remove no longer needed files to reduce size of image.
 rm -r .gradle/ build/ releases/
-- 
GitLab