debian/scripts/gpsprune

   1 #!/bin/sh
   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"
   4
   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')
   7
   8 if [ -z $proxyport ] ; then
   9     if [ -z $proxyhost ] ; then
  10         java $JAVA_OPTS -jar $PRUNEJAR "$@"
  11     else
  12         java $JAVA_OPTS -Dhttp.proxyHost=$proxyhost -jar $PRUNEJAR "$@"
  13     fi
  14 else
  15     java $JAVA_OPTS -Dhttp.proxyHost=$proxyhost -Dhttp.proxyPort=$proxyport -jar $PRUNEJAR "$@"
  16 fi