diff options
Diffstat (limited to 'sci-geosciences/josm/files/josm-r1')
| -rwxr-xr-x | sci-geosciences/josm/files/josm-r1 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sci-geosciences/josm/files/josm-r1 b/sci-geosciences/josm/files/josm-r1 deleted file mode 100755 index 48c34d8bb..000000000 --- a/sci-geosciences/josm/files/josm-r1 +++ /dev/null @@ -1,9 +0,0 @@ -#!/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 |