From f69a39258c4306d9d11e6849600192c9eee9a971 Mon Sep 17 00:00:00 2001 From: lonkaars Date: Sat, 7 Oct 2023 23:22:59 +0200 Subject: fix _JAVA_OPTIONS message --- .local/share/bin/java | 4 ++++ .profile | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100755 .local/share/bin/java diff --git a/.local/share/bin/java b/.local/share/bin/java new file mode 100755 index 0000000..7e7d4d9 --- /dev/null +++ b/.local/share/bin/java @@ -0,0 +1,4 @@ +#!/bin/sh +# this is a stupid fix because java has no option to silence the +# "Picked up _JAVA_OPTIONS:" message +exec /usr/bin/java $_SILENT_JAVA_OPTIONS $* diff --git a/.profile b/.profile index 937b0c4..cfa93dc 100644 --- a/.profile +++ b/.profile @@ -79,8 +79,9 @@ alias gpg2="gpg2 --homedir $XDG_DATA_HOME/gnupg" export DOTNET_CLI_TELEMETRY_OPTOUT=1 # java -export _JAVA_OPTIONS="-Djava.util.prefs.userRoot=$XDG_CONFIG_HOME/java -Dawt.useSystemAAFontSettings=on -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel" +export _SILENT_JAVA_OPTIONS="-Djava.util.prefs.userRoot=$XDG_CONFIG_HOME/java -Dawt.useSystemAAFontSettings=on -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel" export _JAVA_AWT_WM_NONREPARENTING=1 +unset _JAVA_OPTIONS # secrets [ -f "$HOME/.env" ] && . "$HOME/.env" -- cgit v1.2.3