diff options
-rwxr-xr-x | .local/share/bin/java | 4 | ||||
-rw-r--r-- | .profile | 3 |
2 files changed, 6 insertions, 1 deletions
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 $* @@ -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" |