From b8a0f46c979fc9b64944260a1580562e3b24f2db Mon Sep 17 00:00:00 2001 From: Galileo Sartor Date: Wed, 13 Nov 2019 22:59:26 +0100 Subject: [PATCH 1/2] Add stable extension id to json --- buildres/linux/org.jabref.jabref.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/buildres/linux/org.jabref.jabref.json b/buildres/linux/org.jabref.jabref.json index 8516f388266..1edebc9c576 100644 --- a/buildres/linux/org.jabref.jabref.json +++ b/buildres/linux/org.jabref.jabref.json @@ -4,6 +4,7 @@ "path": "/opt/jabref/lib/jabrefHost.py", "type": "stdio", "allowed_extensions": [ - "browserextension@jabref.org" + "browserextension@jabref.org", + "@jabfox" ] } From eeea9352681f519ab767c25ab4df0485b92a017b Mon Sep 17 00:00:00 2001 From: Tobias Diez Date: Thu, 14 Nov 2019 00:02:34 +0100 Subject: [PATCH 2/2] Similar fix for Windows as well --- buildres/windows/jabref.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/buildres/windows/jabref.json b/buildres/windows/jabref.json index d636c8b71a0..30dfc79034a 100644 --- a/buildres/windows/jabref.json +++ b/buildres/windows/jabref.json @@ -4,6 +4,7 @@ "path": "JabRefHost.bat", "type": "stdio", "allowed_extensions": [ - "browserextension@jabref.org" + "browserextension@jabref.org", + "@jabfox" ] }