Thank you for that. That looks good, simpler than using an extra grep.
I've not seen those sed options before.
One minor suggestion, it might be worth changing:
proxyport=$(echo $http_proxy | sed -n
's?http://[^:]\+:\([0-9]\+\)?\1?p')
to
proxyport=$(echo $http_proxy | sed -n
The following commit has been merged in the master branch:
commit b44d1dc39f050bbe7b094aeb4921dd574f2c2992
Author: Markus Wanner mar...@bluegap.ch
Date: Sun Apr 21 02:35:14 2013 +0200
Very minor cleanup, no functional change.
rules: drop unneeded dpkg-buildflags invocations, rely
The following commit has been merged in the master branch:
commit 8d159024e036b1224692753f89c20cd373410d43
Author: Markus Wanner mar...@bluegap.ch
Date: Sun Apr 21 02:38:35 2013 +0200
postgis-doc.doc-base: correct Document name
diff --git a/debian/postgis-doc.doc-base
3 matches
Mail list logo
