diff options
Diffstat (limited to 'bin/proguardgui.sh')
| -rwxr-xr-x | bin/proguardgui.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/bin/proguardgui.sh b/bin/proguardgui.sh index 5a25d7b..2544f29 100755 --- a/bin/proguardgui.sh +++ b/bin/proguardgui.sh @@ -2,8 +2,14 @@ # # Start-up script for the GUI of ProGuard -- free class file shrinker, # optimizer, obfuscator, and preverifier for Java bytecode. +# +# Note: when passing file names containing spaces to this script, +# you'll have to add escaped quotes around them, e.g. +# "\"/My Directory/My File.txt\"" -PROGUARD_HOME=`dirname "$0"` -PROGUARD_HOME=`dirname "$PROGUARD_HOME"` +PROGUARD_HOME=`dirname "$0"`/.. -java -jar $PROGUARD_HOME/lib/proguardgui.jar "$@" +# On Linux, Java 1.6.0_24 and higher hang when starting the GUI: +# http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7027598 +# We're using the -D option as a workaround. +java -DsuppressSwingDropSupport=true -jar "$PROGUARD_HOME/lib/proguardgui.jar" "$@" |