diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | jabref.sh | 8 |
3 files changed, 10 insertions, 2 deletions
@@ -15,7 +15,7 @@ pkgbase = jabref source = jabref.sh source = jabref.desktop sha256sums = af0d7c5566aec94ffa8b5912c116956ccf17331e5b46bb5adbd6afeaa85ac230 - sha256sums = 52f6b327c2019d0f0a57ecd9a5401ae04dde9a80a58490b43f8000caf724e5dd + sha256sums = c29242ebb35401b229761328b4e7a3ded81907607ef6af87cff838416599f24d sha256sums = c6c95fc980630bc72bd4adcc93c710702fe4fced3fcb26c3067eea0f3aad5c68 pkgname = jabref @@ -20,7 +20,7 @@ source=(${pkgname}-${pkgver}.tar.gz::https://github.com/JabRef/jabref/archive/v$ jabref.sh jabref.desktop) sha256sums=('af0d7c5566aec94ffa8b5912c116956ccf17331e5b46bb5adbd6afeaa85ac230' - '52f6b327c2019d0f0a57ecd9a5401ae04dde9a80a58490b43f8000caf724e5dd' + 'c29242ebb35401b229761328b4e7a3ded81907607ef6af87cff838416599f24d' 'c6c95fc980630bc72bd4adcc93c710702fe4fced3fcb26c3067eea0f3aad5c68') # Note on supported Java versions: diff --git a/jabref.sh b/jabref.sh index bcd6aa890f91..8322d22bdae5 100644 --- a/jabref.sh +++ b/jabref.sh @@ -1,5 +1,12 @@ #!/bin/bash +# JabRef may need some custom options to work and look properly on certain +# systems. You can set them via the JABREF_OPTIONS environment variable. +# -Dglass.gtk.uiScale=144dpi scale up the UI to look better on high DPI displays +# -Djdk.gtk.version=2 workaround for misbehaving menus, e.g. on i3wm +# You can for example run JabRef as follows: +# JABREF_OPTIONS="-Dglass.gtk.uiScale=144dpi -Djdk.gtk.version=2" jabref + # This script has been created based on the instructions at # https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace, # the output of `./gradlew -d run` and the contents of build/scripts/JabRef in the build @@ -30,5 +37,6 @@ ROOT=/usr/share/java/jabref --add-opens javafx.base/com.sun.javafx.event=com.jfoenix \ --module-path ${ROOT}/lib \ --patch-module org.jabref=${ROOT}/resources/main \ +${JABREF_OPTIONS} \ --module org.jabref/org.jabref.gui.JabRefLauncher \ "$@" |