From d7d0668e290cd6ecaf2ffb0227ff749107ee2201 Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Fri, 12 Jun 2026 09:07:38 +0200
Subject: [PATCH] Switch gradle home to local to fix gradle build in ci

---
 .gitignore | 1 +
 devenv.nix | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index c05aeb9..b3336ed 100644
--- a/.gitignore
+++ b/.gitignore
@@ -56,3 +56,4 @@ devenv.local.nix
 .android
 android/app/.cxx/
 /.gradle/
+/.gitea/workflows/.gradle/
diff --git a/devenv.nix b/devenv.nix
index 736849c..3f38988 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -62,6 +62,8 @@
     '';
 
     build-android.exec = ''
+      export GRADLE_USER_HOME="$(pwd)/.gradle"
+
       dart run pdfrx:remove_wasm_modules --revert // Make sure WASM is put in output
       dart run pdfrx:remove_wasm_modules // NOT idempotent!