2 PRUNEJAR=/usr/share/gpsprune/gpsprune.jar
3 JAVA_OPTS="$JAVA_OPTS -Djava.net.preferIPv4Stack=true -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel -Djdk.gtk.version=3"
5 proxyhost=$(echo $http_proxy | sed -n 's?http[s|]://\([^:/]\+\).*?\1?p')
6 proxyport=$(echo $http_proxy | sed -n 's?http[s|]://[^:]\+:\([0-9]\+\).*?\1?p')
8 if [ -z $proxyport ] ; then
9 if [ -z $proxyhost ] ; then
10 java $JAVA_OPTS -jar $PRUNEJAR "$@"
12 java $JAVA_OPTS -Dhttp.proxyHost=$proxyhost -jar $PRUNEJAR "$@"
15 java $JAVA_OPTS -Dhttp.proxyHost=$proxyhost -Dhttp.proxyPort=$proxyport -jar $PRUNEJAR "$@"