diff options
Diffstat (limited to 'sci-geosciences/josm/files')
| -rwxr-xr-x | sci-geosciences/josm/files/josm-r1 | 9 | ||||
| -rw-r--r-- | sci-geosciences/josm/files/josm.png | bin | 1737 -> 0 bytes |
2 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 diff --git a/sci-geosciences/josm/files/josm.png b/sci-geosciences/josm/files/josm.png Binary files differdeleted file mode 100644 index aebba7625..000000000 --- a/sci-geosciences/josm/files/josm.png +++ /dev/null |
