aboutsummaryrefslogtreecommitdiff
blob: 48c34d8bb46daadc23a58ccd2ee4c13f3857c3a5 (plain)
1
2
3
4
5
6
7
8
9
#!/bin/sh

if [ -z "$http_proxy" ]; then
	java -jar /usr/share/josm/lib/josm.jar
else
	proxy_port=`echo $http_proxy|sed -e 's/.*://g'`
	proxy_host=`echo $http_proxy|sed -e 's!\(.*://\)\?\(.*\):.*!\2!g'`
	java -Dhttp.proxyHost=$proxy_host -Dhttp.proxyPort=$proxy_port -jar /usr/share/josm/lib/josm.jar
fi