The following commit has been merged in the master branch: commit e411979d3c29fa43aff1db12ed7bd0d5036d85cd Author: David Paleino <da...@debian.org> Date: Mon Apr 19 14:24:03 2010 +0200
debian/scripts/gpsprune added; wrapper to gpsprune to use $http_proxy, thanks to Andreas Tille (Closes: #578348) diff --git a/debian/changelog b/debian/changelog index 0568ef5..8921202 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,8 +5,10 @@ gpsprune (9-2) UNRELEASED; urgency=low * debian/patches/: - 00-fix_readme_in_about.patch added, fixes a bug in the About screen + * debian/scripts/gpsprune added; wrapper to gpsprune to use $http_proxy, + thanks to Andreas Tille (Closes: #578348) - -- David Paleino <da...@debian.org> Tue, 23 Mar 2010 21:26:11 +0100 + -- David Paleino <da...@debian.org> Mon, 19 Apr 2010 14:23:07 +0200 gpsprune (9-1) unstable; urgency=low diff --git a/debian/scripts/gpsprune b/debian/scripts/gpsprune new file mode 100644 index 0000000..63eee47 --- /dev/null +++ b/debian/scripts/gpsprune @@ -0,0 +1,16 @@ +#!/bin/sh +PRUNEJAR=/usr/share/gpsprune/gpsprune.jar + +proxyhost=$(echo $http_proxy | sed 's?http://\([^:]\+\).*?\1?') +proxyport=$(echo $http_proxy | sed 's?http://[^:]\+:\([0-9]\+\)?\1?') + +if [ -z $proxyport ] ; then + if [ -z $proxyhost ] ; then + java -jar $PRUNEJAR $@ + else + java -Dhttp.proxyHost=$proxyhost -jar $PRUNEJAR $@ + fi +else + java -Dhttp.proxyHost=$proxyhost -Dhttp.proxyPort=$proxyport -jar $PRUNEJAR $@ +fi + -- Tool to visualize, edit, convert and prune GPS data _______________________________________________ Pkg-grass-devel mailing list Pkg-grass-devel@lists.alioth.debian.org http://lists.alioth.debian.org/mailman/listinfo/pkg-grass-devel