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
|