#!/bin/sh PRUNEJAR=/usr/share/gpsprune/gpsprune.jar JAVA_OPTS="$JAVA_OPTS -Djava.net.preferIPv4Stack=true" proxyhost=$(echo $http_proxy | sed -n 's?http[s|]://\([^:/]\+\).*?\1?p') proxyport=$(echo $http_proxy | sed -n 's?http[s|]://[^:]\+:\([0-9]\+\).*?\1?p') if [ -z $proxyport ] ; then if [ -z $proxyhost ] ; then java $JAVA_OPTS -jar $PRUNEJAR "$@" else java $JAVA_OPTS -Dhttp.proxyHost=$proxyhost -jar $PRUNEJAR "$@" fi else java $JAVA_OPTS -Dhttp.proxyHost=$proxyhost -Dhttp.proxyPort=$proxyport -jar $PRUNEJAR "$@" fi