From a7399d4604810257f1cacd804d9e4330311dd97a Mon Sep 17 00:00:00 2001 From: Ignacio Taranto Date: Mon, 22 Aug 2022 13:02:11 -0300 Subject: [PATCH] Add OpenJDK/JDK issue link (#170) Co-authored-by: Ignacio Taranto --- programs/openjdk.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/programs/openjdk.json b/programs/openjdk.json index 376d980..b40319c 100644 --- a/programs/openjdk.json +++ b/programs/openjdk.json @@ -3,7 +3,7 @@ { "path": "$HOME/.java", "movable": false, - "help": "**Disclaimer: some applications don't respect this setting.**\n\nExport the following environment variable:\n\n```bash\nexport _JAVA_OPTIONS=-Djava.util.prefs.userRoot=\"$XDG_CONFIG_HOME\"/java\n```\n" + "help": "**Disclaimer: some applications don't respect this setting.**\n\nExport the following environment variable:\n\n```bash\nexport _JAVA_OPTIONS=-Djava.util.prefs.userRoot=\"$XDG_CONFIG_HOME\"/java\n```\n\nSee [ticket](https://bugs.java.com/bugdatabase/view_bug.do?bug_id=JDK-8290140)" } ], "name": "openjdk" -- 2.47.3