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
