From e7ae6fd4d572c0d274bf8f2c24b1329a2ce8f458 Mon Sep 17 00:00:00 2001
From: Nico Alt <nicoalt@posteo.org>
Date: Wed, 20 Feb 2019 17:54:16 +0100
Subject: [PATCH] Set $PATH and $JAVA_HOME
---
app.briar.gtk.json | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/app.briar.gtk.json b/app.briar.gtk.json
index b5aac09..715b8bf 100644
--- a/app.briar.gtk.json
+++ b/app.briar.gtk.json
@@ -15,7 +15,9 @@
"--filesystem=xdg-run/dconf",
"--filesystem=~/.config/dconf:ro",
"--talk-name=ca.desrt.dconf",
- "--env=DCONF_USER_CONFIG_DIR=.config/dconf"
+ "--env=DCONF_USER_CONFIG_DIR=.config/dconf",
+ "--env=PATH=/app/bin:/usr/bin:/app/jdk/bin",
+ "--env=JAVA_HOME=/app/jdk"
],
"build-options": {
"cflags": "-O2 -g",
--
GitLab