Merge pull request #253624 from linsui/jabref

jabref: disable check update
This commit is contained in:
Weijia Wang
2023-09-06 17:07:07 +02:00
committed by GitHub
@@ -93,6 +93,11 @@ stdenv.mkDerivation rec {
'org.jabref:afterburner.fx:${versionReplace.afterburner.pin}' \
--replace 'com.tobiasdiez:easybind:${versionReplace.easybind.snapshot}' \
'com.tobiasdiez:easybind:${versionReplace.easybind.pin}'
# Disable update check
substituteInPlace src/main/java/org/jabref/preferences/JabRefPreferences.java \
--replace 'VERSION_CHECK_ENABLED, Boolean.TRUE' \
'VERSION_CHECK_ENABLED, Boolean.FALSE'
'';
preBuild = ''